display all the ideas for this combination of texts
4 ideas
8729 | Intuitionists deny excluded middle, because it is committed to transcendent truth or objects [Shapiro] |
9605 | If a proposition is false, then its negation is true [Brown,JR] |
9649 | Axioms are either self-evident, or stipulations, or fallible attempts [Brown,JR] |
9638 | Berry's Paradox finds a contradiction in the naming of huge numbers [Brown,JR] |