display all the ideas for this combination of texts
3 ideas
12005 | The symbol 'ι' forms definite descriptions; (ιx)F(x) says 'the x which is such that F(x)' [Forbes,G] |
562 | Axioms are the underlying principles of everything, and who but the philosopher can assess their truth? [Aristotle] |
573 | The axioms of mathematics are part of philosophy [Aristotle] |