5 ideas
18200 | Very large sets should be studied in an 'if-then' spirit [Putnam] |
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] |
8754 | Logic is dependent on mathematics, not the other way round [Heyting, by Shapiro] |
16640 | Form is the principle that connects a thing's constitution (rather than being operative) [Hill,N] |