3 ideas
15716 | If axioms and their implications have no contradictions, they pass my criterion of truth and existence [Hilbert] |
9463 | Classical logic is bivalent, has excluded middle, and only quantifies over existent objects [Jacquette] |
490 | Everything happens by reason and necessity [Leucippus] |