6 ideas
14263 | Strong Kleene disjunction just needs one true disjunct; Weak needs the other to have some value [Fine,K] |
9565 | Zermelo made 'set' and 'member' undefined axioms [Zermelo, by Chihara] |
3339 | For Zermelo's set theory the empty set is zero and the successor of each number is its unit set [Zermelo, by Blackburn] |
14262 | Formal grounding needs transitivity of grounding, no self-grounding, and the existence of both parties [Fine,K] |
22381 | Being a good father seems to depend on intentions, rather than actual abilities [Foot] |
22380 | Some words, such as 'knife', have a meaning which involves its function [Foot] |