4 ideas
17831 | Cantor gives informal versions of ZF axioms as ways of getting from one set to another [Cantor, by Lake] |
10594 | Henkin semantics is more plausible for plural logic than for second-order logic [Maddy] |
1748 | Archelaus was the first person to say that the universe is boundless [Archelaus, by Diog. Laertius] |
5989 | Archelaus said life began in a primeval slime [Archelaus, by Schofield] |