display all the ideas for this combination of texts
4 ideas
16866 | Tracing inference backwards closes in on a small set of axioms and postulates [Frege] |
16871 | A truth can be an axiom in one system and not in another [Frege] |
16868 | The essence of mathematics is the kernel of primitive truths on which it rests [Frege] |
16870 | Axioms are truths which cannot be doubted, and for which no proof is needed [Frege] |