display all the ideas for this combination of texts
3 ideas
1706 | Non-existent things aren't made to exist by thought, because their non-existence is part of the thought [Aristotle] |
1707 | Maybe necessity and non-necessity are the first principles of ontology [Aristotle] |
16345 | That Peano arithmetic is interpretable in ZF set theory is taken by philosophers as a reduction [Halbach] |