4 ideas
17751 | Gödel proved the completeness of first order predicate logic in 1930 [Gödel, by Walicki] |
13197 | The notion of substance is one of the keys to true philosophy [Leibniz] |
20064 | Actions are not mere effects of reasons, but are under their control [Audi,R] |
13198 | Gravity is within matter because of its structure, and it can be explained. [Leibniz] |