3 ideas
9879 | NF has no models, but just blocks the comprehension axiom, to avoid contradictions [Quine, by Dummett] |
23559 | We have the concept of 'knowledge' as a label for good informants [Craig, by Fricker,M] |
22200 | If you eliminate the impossible, the truth will remain, even if it is weird [Conan Doyle] |