3 ideas
18758 | Validity is provable, but invalidity isn't, because the model is infinite [Church, by McGee] |
10190 | From the axiomatic point of view, mathematics is a storehouse of abstract structures [Bourbaki] |
6587 | It is always wrong to believe things on insufficient evidence [Clifford] |