5 ideas
17750 | The first clear proof of the consistency of the first order predicate logic was in 1928 [Hilbert/Ackermann, by Walicki] |
19400 | Possibles demand existence, so as many of them as possible must actually exist [Leibniz] |
19401 | God's sufficient reason for choosing reality is in the fitness or perfection of possibilities [Leibniz] |
19402 | The actual universe is the richest composite of what is possible [Leibniz] |
9220 | Lewis must specify that all possibilities are in his worlds, making the whole thing circular [Shalkowski, by Sider] |