3 ideas
18189 | ZFC could contain a contradiction, and it can never prove its own consistency [MacLane] |
10247 | We have no adequate logic at the moment, so mathematicians must create one [Veblen] |
19087 | The meaning or purport of a symbol is all the rational conduct it would lead to [Peirce] |