4 ideas
17606 | Axioms reveal the underlying assumptions, and reveal relationships between different areas [Kline] |
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] |
12709 | Motion is not absolute, but consists in relation [Leibniz] |