4 ideas
15943 | Limitation of Size is not self-evident, and seems too strong [Lavine on Neumann] |
13672 | All the axioms for mathematics presuppose set theory [Neumann] |
7803 | Modal logic began with translation difficulties for 'If...then' [Lewis,CI, by Girle] |
19699 | A Gettier case is a belief which is true, and its fallible justification involves some luck [Hetherington] |