3 ideas
18946 | Unreflectively, we all assume there are nonexistents, and we can refer to them [Reimer] |
10245 | One geometry cannot be more true than another [Poincaré] |
9141 | Abstraction theories build mathematics out of second-order equivalence principles [Cook/Ebert] |