3 ideas
10121 | Contradiction is not a sign of falsity, nor lack of contradiction a sign of truth [Pascal] |
18946 | Unreflectively, we all assume there are nonexistents, and we can refer to them [Reimer] |
16886 | The truth of an axiom must be independently recognisable [Frege] |