3 ideas
17751 | Gödel proved the completeness of first order predicate logic in 1930 [Gödel, by Walicki] |
3643 | The concept of mind excludes body, and vice versa [Descartes] |
13097 | Force in substance makes state follow state, and ensures the very existence of substance [Leibniz] |