3 ideas
17962 | The truth-maker principle is that every truth has a sufficient truth-maker [Forrest] |
22293 | Hilbert said (to block paradoxes) that mathematical existence is entailed by consistency [Hilbert, by Potter] |
6029 | Whoever knows future causes knows everything that will be [Cicero] |