display all the ideas for this combination of texts
2 ideas
13416 | Mathematics must be based on axioms, which are true because they are axioms, not vice versa [Tait, by Parsons,C] |
18757 | Soundness theorems are uninformative, because they rely on soundness in their proofs [McGee] |