3 ideas
18758 | Validity is provable, but invalidity isn't, because the model is infinite [Church, by McGee] |
17447 | Parsons says counting is tagging as first, second, third..., and converting the last to a cardinal [Parsons,C, by Heck] |
12155 | Statements of 'relative identity' are really statements of resemblance [Perry] |