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] |
17629 | Which premises are ultimate varies with context [Russell] |
17630 | The sources of a proof are the reasons why we believe its conclusion [Russell] |
17640 | Finding the axioms may be the only route to some new results [Russell] |