3 ideas
8920 | Equivalence relations are reflexive, symmetric and transitive, and classify similar objects [Lipschutz] |
18758 | Validity is provable, but invalidity isn't, because the model is infinite [Church, by McGee] |
23692 | Good and bad are a matter of actions, not of internal dispositions [Foot] |