3 ideas
9463 | Classical logic is bivalent, has excluded middle, and only quantifies over existent objects [Jacquette] |
8728 | Intuitionist mathematics deduces by introspective construction, and rejects unknown truths [Brouwer] |
5845 | Niceratus learnt the whole of Homer by heart, as a guide to goodness [Xenophon] |