4 ideas
10594 | Henkin semantics is more plausible for plural logic than for second-order logic [Maddy] |
12427 | All of mathematics is properties of the whole numbers [Kronecker] |
10091 | God made the integers, all the rest is the work of man [Kronecker] |
22200 | If you eliminate the impossible, the truth will remain, even if it is weird [Conan Doyle] |