3 ideas
17831 | Cantor gives informal versions of ZF axioms as ways of getting from one set to another [Cantor, by Lake] |
17993 | Laws are relations of kinds, quantities and qualities, supervening on the essences of a domain [Vetter] |
1558 | Clearly the gods ignore human affairs, or they would have given us justice [Thrasymachus] |