4 ideas
15946 | Cantor developed sets from a progression into infinity by addition, multiplication and exponentiation [Cantor, by Lavine] |
10792 | The substitutional quantifier is not in competition with the standard interpretation [Kripke, by Marcus (Barcan)] |
15911 | Ordinals are generated by endless succession, followed by a limit ordinal [Cantor, by Lavine] |
7667 | There are two sides to men - the pleasantly social, and the violent and creative [Diderot, by Berlin] |