4 ideas
10152 | Set theory and logic are fairy tales, but still worth studying [Tarski] |
17447 | Parsons says counting is tagging as first, second, third..., and converting the last to a cardinal [Parsons,C, by Heck] |
10151 | I am a deeply convinced nominalist [Tarski] |
6316 | We translate in a way that makes the largest possible number of statements true [Wilson,NL] |