4 ideas
10792 | The substitutional quantifier is not in competition with the standard interpretation [Kripke, by Marcus (Barcan)] |
10245 | One geometry cannot be more true than another [Poincaré] |
18256 | Quantity is inconceivable without the idea of addition [Frege] |
9831 | Geometry appeals to intuition as the source of its axioms [Frege] |