19 ideas
| 13201 | ∈ says the whole set is in the other; ⊆ says the members of the subset are in the other [Enderton] |
| 13206 | A 'linear or total ordering' must be transitive and satisfy trichotomy [Enderton] |
| 13204 | The 'ordered pair' <x,y> is defined to be {{x}, {x,y}} [Enderton] |
| 13200 | Note that {Φ} =/= Φ, because Φ ∈ {Φ} but Φ ∉ Φ [Enderton] |
| 13199 | The empty set may look pointless, but many sets can be constructed from it [Enderton] |
| 13203 | The singleton is defined using the pairing axiom (as {x,x}) [Enderton] |
| 13202 | Fraenkel added Replacement, to give a theory of ordinal numbers [Enderton] |
| 13205 | We can only define functions if Choice tells us which items are involved [Enderton] |
| 23664 | Powers are quite distinct and simple, and so cannot be defined [Reid] |
| 23669 | Thinkers say that matter has intrinsic powers, but is also passive and acted upon [Reid] |
| 23666 | It is obvious that there could not be a power without a subject which possesses it [Reid] |
| 23665 | Consciousness is the power of mind to know itself, and minds are grounded in powers [Reid] |
| 23668 | Our own nature attributes free determinations to our own will [Reid] |
| 20051 | Reid said that agent causation is a unique type of causation [Reid, by Stout,R] |
| 7903 | The six perfections are giving, morality, patience, vigour, meditation, and wisdom [Nagarjuna] |
| 8383 | Day and night are constantly conjoined, but they don't cause one another [Reid, by Crane] |
| 23667 | Regular events don't imply a cause, without an innate conviction of universal causation [Reid] |
| 23670 | Scientists don't know the cause of magnetism, and only discover its regulations [Reid] |
| 23671 | Laws are rules for effects, but these need a cause; rules of navigation don't navigate [Reid] |