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é] |
8754 | Logic is dependent on mathematics, not the other way round [Heyting, by Shapiro] |