3 ideas
10009 | Substitutional quantification is just a variant of Tarski's account [Wallace, by Baldwin] |
9141 | Abstraction theories build mathematics out of second-order equivalence principles [Cook/Ebert] |
1513 | The Egyptians were the first to say the soul is immortal and reincarnated [Herodotus] |