4 ideas
21717 | Reducibility undermines type ramification, and is committed to the existence of functions [Quine, by Linsky,B] |
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] |
6011 | There is a remote first god (the Good), and a second god who organises the material world [Numenius, by O'Meara] |