display all the ideas for this combination of texts
2 ideas
17286 | Logical consequence is verification by a possible world within a truth-set [Fine,K] |
13416 | Mathematics must be based on axioms, which are true because they are axioms, not vice versa [Tait, by Parsons,C] |