3 ideas
10247 | We have no adequate logic at the moment, so mathematicians must create one [Veblen] |
12887 | A whole must have one characteristic, an internal relation, and a structure [Rescher/Oppenheim] |
6316 | We translate in a way that makes the largest possible number of statements true [Wilson,NL] |