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] |
13496 | First-order logic is 'compact': consequences of a set are consequences of a finite subset [Hart,WD] |