3 ideas
17831 | Cantor gives informal versions of ZF axioms as ways of getting from one set to another [Cantor, by Lake] |
10247 | We have no adequate logic at the moment, so mathematicians must create one [Veblen] |
7628 | Broad rejects the inferential component of the representative theory [Broad, by Maund] |