3 ideas
17962 | The truth-maker principle is that every truth has a sufficient truth-maker [Forrest] |
18758 | Validity is provable, but invalidity isn't, because the model is infinite [Church, by McGee] |
22110 | Demonstration provides depth of understanding and explanation (rather than foundations) [Kretzmann/Stump] |