3 ideas
18758 | Validity is provable, but invalidity isn't, because the model is infinite [Church, by McGee] |
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] |