3 ideas
22293 | Hilbert said (to block paradoxes) that mathematical existence is entailed by consistency [Hilbert, by Potter] |
19393 | What is not active is nothing [Leibniz] |
10994 | Conditionals are true if minimal revision of the antecedent verifies the consequent [Stalnaker, by Read] |