8 ideas
9565 | Zermelo made 'set' and 'member' undefined axioms [Zermelo, by Chihara] |
3339 | For Zermelo's set theory the empty set is zero and the successor of each number is its unit set [Zermelo, by Blackburn] |
12430 | Classical logic is our preconditions for assessing empirical evidence [Kitcher] |
12431 | I believe classical logic because I was taught it and use it, but it could be undermined [Kitcher] |
12428 | Many necessities are inexpressible, and unknowable a priori [Kitcher] |
12429 | Knowing our own existence is a priori, but not necessary [Kitcher] |
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] |