36 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] |
| 19392 | I don't recommend universal doubt; we constantly seek reasons for things which are indubitable [Leibniz] |
| 20547 | We should respect the right of people to live in their own way, even if it is irrational [Swift] |
| 20564 | Anti-colonial movements usually invoke the right of their 'people' to self-determination [Swift] |
| 20535 | Isn't it more rational to maximise the average position, but with a safety net? [Swift] |
| 20537 | Hypothetical contracts have no binding force [Swift] |
| 20542 | Cosmopolitans reject the right of different states to distribute resources in different ways [Swift] |
| 20559 | Democracy is bad, but the other systems are worse [Swift] |
| 20561 | Since all opinions are treated as equal in democracy, it implies there are no right answers [Swift] |
| 20562 | Design your democracy to treat citizens equally, or to produce better citizens? [Swift] |
| 20563 | Design your democracy to yield political stability, or good decisions? [Swift] |
| 20560 | Teledemocracy omits debate and deliberation, which are important parts of good decisions [Swift] |
| 20554 | Multiculturalism is a barrier to the whole state being a community [Swift] |
| 20553 | Liberals mistakenly think individuals choose their values, without reference to the community [Swift] |
| 20556 | The best way to build a cohesive community is to be involved in a war [Swift] |
| 20557 | Membership and inclusion in a community implies non-membership and exclusion [Swift] |
| 20555 | Liberals are concerned to protect individuals from too much community [Swift] |
| 20540 | Redistributing wealth treats some people as means, rather than as ends [Swift] |
| 20551 | Men have had the power to structure all of our social institutions [Swift] |
| 20545 | Maybe a freedom is from a restraint, and also in order to do something [Swift] |
| 20550 | Opportunity should ignore extraneous factors, or foster competence, or ignore all disadvantages [Swift] |
| 20536 | Inequalities are needed, as incentives to do the most important jobs [Swift] |
| 20548 | A person can desire redistibution of wealth, without it being for reasons of equality [Swift] |
| 20541 | You can't necessarily sell your legitimate right to something, even if you produced it [Swift] |
| 20546 | Libertarians about property ignore the fact that private property is a denial of freedoms [Swift] |
| 20533 | Justice can be seen as fairness or entitlement or desert [Swift] |