6 ideas
9879 | NF has no models, but just blocks the comprehension axiom, to avoid contradictions [Quine, by Dummett] |
13007 | Archimedes defined a straight line as the shortest distance between two points [Archimedes, by Leibniz] |
5998 | From the necessity of the past we can infer the impossibility of what never happens [Diod.Cronus, by White,MJ] |
20832 | The Master Argument seems to prove that only what will happen is possible [Diod.Cronus, by Epictetus] |
14304 | Conditionals are true when the antecedent is true, and the consequent has to be true [Diod.Cronus] |
6024 | Thought is unambiguous, and you should stick to what the speaker thinks they are saying [Diod.Cronus, by Gellius] |