4 ideas
17751 | Gödel proved the completeness of first order predicate logic in 1930 [Gödel, by Walicki] |
12712 | Substance is that which can act [Leibniz] |
12737 | Nature can be fully explained by final causes alone, or by efficient causes alone [Leibniz] |
5845 | Niceratus learnt the whole of Homer by heart, as a guide to goodness [Xenophon] |