28 ideas
13030 | Extensionality: ∀x ∀y (∀z (z ∈ x ↔ z ∈ y) → x = y) [Kunen] |
13032 | Pairing: ∀x ∀y ∃z (x ∈ z ∧ y ∈ z) [Kunen] |
13033 | Union: ∀F ∃A ∀Y ∀x (x ∈ Y ∧ Y ∈ F → x ∈ A) [Kunen] |
13037 | Infinity: ∃x (0 ∈ x ∧ ∀y ∈ x (S(y) ∈ x) [Kunen] |
13038 | Power Set: ∀x ∃y ∀z(z ⊂ x → z ∈ y) [Kunen] |
13034 | Replacement: ∀x∈A ∃!y φ(x,y) → ∃Y ∀X∈A ∃y∈Y φ(x,y) [Kunen] |
13039 | Foundation:∀x(∃y(y∈x) → ∃y(y∈x ∧ ¬∃z(z∈x ∧ z∈y))) [Kunen] |
13036 | Choice: ∀A ∃R (R well-orders A) [Kunen] |
13029 | Set Existence: ∃x (x = x) [Kunen] |
13031 | Comprehension: ∃y ∀x (x ∈ y ↔ x ∈ z ∧ φ) [Kunen] |
13040 | Constructibility: V = L (all sets are constructible) [Kunen] |
6349 | I can prove a hand exists, by holding one up, pointing to it, and saying 'here is one hand' [Moore,GE] |
3847 | Man is nothing else but the sum of his actions [Sartre] |
3846 | Man IS freedom [Sartre] |
3843 | There is no human nature [Sartre] |
20762 | There are no values to justify us, and no excuses [Sartre] |
3852 | If values depend on us, freedom is the foundation of all values [Sartre] |
20764 | In becoming what we want to be we create what we think man ought to be [Sartre] |
3848 | Cowards are responsible for their cowardice [Sartre] |
20763 | When my personal freedom becomes involved, I must want freedom for everyone else [Sartre] |
22229 | Existentialists says that cowards and heroes make themselves [Sartre] |
3842 | Existence before essence (or begin with the subjective) [Sartre] |
6868 | 'Existence precedes essence' means we have no pre-existing self, but create it through existence [Sartre, by Le Poidevin] |
3844 | Existentialism says man is whatever he makes of himself [Sartre] |
20754 | It is dishonest to offer passions as an excuse [Sartre] |
6571 | When a man must choose between his mother and the Resistance, no theory can help [Sartre, by Fogelin] |
3851 | If I do not choose, that is still a choice [Sartre] |
3845 | Without God there is no intelligibility or value [Sartre] |