The formulas on the book cover are an odd mix of the meaningful (I see some standard axioms from Peano Arithmetic and ZFC there) and the meaningless (such as ∀x∀y(∀x=∀y⇒x=y) ). I wonder what the story is there.
The formulas on the book cover are an odd mix of the meaningful (I see some standard axioms from Peano Arithmetic and ZFC there) and the meaningless (such as ∀x∀y(∀x=∀y⇒x=y) ). I wonder what the story is there.
