3 ideas
15716 | If axioms and their implications have no contradictions, they pass my criterion of truth and existence [Hilbert] |
15380 | Barcan:nothing comes into existence; Converse:nothing goes out; Both:domain is unchanging [Vervloesem] |
21982 | I only wish I had such eyes as to see Nobody! It's as much as I can do to see real people. [Carroll,L] |