display all the ideas for this combination of philosophers
4 ideas
10599 | For primes we write (x not= 1 ∧ ∀u∀v(u x v = x → (u = 1 ∨ v = 1))) [Smith,P] |
10610 | The reals contain the naturals, but the theory of reals doesn't contain the theory of naturals [Smith,P] |
17812 | Finite cardinalities don't need numbers as objects; numerical quantifiers will do [White,NP] |
10619 | The truths of arithmetic are just true equations and their universally quantified versions [Smith,P] |