5 ideas
| 18261 | A simplification which is complete constitutes a definition [Kant] |
| 15716 | If axioms and their implications have no contradictions, they pass my criterion of truth and existence [Hilbert] |
| 22275 | Logic gives us the necessary rules which show us how we ought to think [Kant] |
| 19699 | A Gettier case is a belief which is true, and its fallible justification involves some luck [Hetherington] |
| 18260 | If we knew what we know, we would be astonished [Kant] |