4 ideas
17962 | The truth-maker principle is that every truth has a sufficient truth-maker [Forrest] |
15946 | Cantor developed sets from a progression into infinity by addition, multiplication and exponentiation [Cantor, by Lavine] |
10800 | The values of variables can't determine existence, because they are just expressions [Ryle, by Quine] |
15911 | Ordinals are generated by endless succession, followed by a limit ordinal [Cantor, by Lavine] |