29 ideas
| 8093 | Seek wisdom rather than truth; it is easier [Joubert] |
| 8095 | We must think with our entire body and soul [Joubert] |
| 8107 | The love of certainty holds us back in metaphysics [Joubert] |
| 8099 | The truths of reason instruct, but they do not illuminate [Joubert] |
| 8098 | Truth consists of having the same idea about something that God has [Joubert] |
| 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] |
| 8101 | To know is to see inside oneself [Joubert] |
| 8094 | The imagination has made more discoveries than the eye [Joubert] |
| 8103 | A thought is as real as a cannon ball [Joubert] |
| 8100 | Where does the bird's idea of a nest come from? [Joubert] |
| 13550 | To be always happy is to lack knowledge of one half of nature [Seneca] |
| 8096 | He gives his body up to pleasure, but not his soul [Joubert] |
| 8104 | What will you think of pleasures when you no longer enjoy them? [Joubert] |
| 8097 | Virtue is hard if we are scorned; we need support [Joubert] |
| 13549 | Nothing bad can happen to a good man [Seneca] |
| 8106 | In raising a child we must think of his old age [Joubert] |
| 13548 | The ocean changes in volume in proportion to the attraction of the moon [Seneca] |
| 8105 | We can't exactly conceive virtue without the idea of God [Joubert] |
| 8102 | We cannot speak against Christianity without anger, or speak for it without love [Joubert] |