4 ideas
16886 | The truth of an axiom must be independently recognisable [Frege] |
8923 | Numbers are identified by their main properties and relations, involving the successor function [MacBride] |
8926 | For mathematical objects to be positions, positions themselves must exist first [MacBride] |
2116 | The concept of an existing thing must contain more than the concept of a non-existing thing [Leibniz] |