3 ideas
8923 | Numbers are identified by their main properties and relations, involving the successor function [MacBride] |
15923 | Poincaré rejected the actual infinite, claiming definitions gave apparent infinity to finite objects [Poincaré, by Lavine] |
8926 | For mathematical objects to be positions, positions themselves must exist first [MacBride] |