3 ideas
9879 | NF has no models, but just blocks the comprehension axiom, to avoid contradictions [Quine, by Dummett] |
7566 | The Identity of Indiscernibles is really the same as the verification principle [Jolley] |
22254 | Economic capitalist liberty naturally leads to democratic political liberty [Novak] |