display all the ideas for this combination of texts
2 ideas
1312 | If everything is and isn't then everything is true, and a midway between true and false makes everything false [Aristotle on Heraclitus] |
10884 | A theory is 'categorical' if it has just one model up to isomorphism [Horsten] |