4 ideas
11074 | 'It is true that this follows' means simply: this follows [Wittgenstein] |
9879 | NF has no models, but just blocks the comprehension axiom, to avoid contradictions [Quine, by Dummett] |
10121 | Contradiction is not a sign of falsity, nor lack of contradiction a sign of truth [Pascal] |
11073 | Two and one making three has the necessity of logical inference [Wittgenstein] |