4 ideas
17831 | Cantor gives informal versions of ZF axioms as ways of getting from one set to another [Cantor, by Lake] |
8921 | Structuralism is now common, studying relations, with no regard for what the objects might be [Hellman] |
8922 | Maybe mathematical objects only have structural roles, and no intrinsic nature [Hellman] |
6017 | Nomos is king [Pindar] |