3 ideas
17750 | The first clear proof of the consistency of the first order predicate logic was in 1928 [Hilbert/Ackermann, by Walicki] |
15456 | Extrinsic properties, unlike intrinsics, imply the existence of a separate object [Kim, by Lewis] |
490 | Everything happens by reason and necessity [Leucippus] |