display all the ideas for this combination of texts
3 ideas
6023 | Every proposition is either true or false [Chrysippus, by Cicero] |
9024 | Excluded middle has three different definitions [Quine] |
10012 | Quantification theory can still be proved complete if we add identity [Quine] |