4 ideas
17751 | Gödel proved the completeness of first order predicate logic in 1930 [Gödel, by Walicki] |
16664 | Everything that exists is either a substance or an accident [Albert of Saxony] |
16703 | God could make a successive thing so that previous parts cease to exist [Albert of Saxony] |
16699 | Successive entities just need parts to succeed one another, without their existence [Albert of Saxony] |