3 ideas
9463 | Classical logic is bivalent, has excluded middle, and only quantifies over existent objects [Jacquette] |
17606 | Axioms reveal the underlying assumptions, and reveal relationships between different areas [Kline] |
1590 | The just man does not harm his enemies, but benefits everyone [Plato] |