5 ideas
18200 | Very large sets should be studied in an 'if-then' spirit [Putnam] |
13007 | Archimedes defined a straight line as the shortest distance between two points [Archimedes, by Leibniz] |
18199 | Indispensability strongly supports predicative sets, and somewhat supports impredicative sets [Putnam] |
8857 | We must quantify over numbers for science; but that commits us to their existence [Putnam] |
2975 | That honey is sweet I do not affirm, but I agree that it appears so [Timon] |