39 ideas
| 6814 | Instead of prayer and charity, sinners pursue vain disputes and want their own personal scripture [Mohammed] |
| 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] |
| 5062 | First: there must be reasons; Second: why anything at all?; Third: why this? [Leibniz] |
| 19377 | A monad and its body are living, so life is everywhere, and comes in infinite degrees [Leibniz] |
| 19353 | 'Perception' is basic internal representation, and 'apperception' is reflective knowledge of perception [Leibniz] |
| 5061 | Animals are semi-rational because they connect facts, but they don't see causes [Leibniz] |
| 5063 | Music charms, although its beauty is the harmony of numbers [Leibniz] |
| 6828 | You may break off a treaty if you fear treachery from your ally [Mohammed] |
| 6823 | Repay evil with good and your enemies will become friends (though this is hard) [Mohammed] |
| 6826 | Allah rewards those who are devout, sincere, patient, humble, charitable, chaste, and who fast [Mohammed] |
| 6822 | Those who avenge themselves when wronged incur no guilt [Mohammed] |
| 6833 | Punish theft in men or women by cutting off their hands [Mohammed] |
| 6832 | Killing a human, except as just punishment, is like killing all mankind [Mohammed] |
| 6825 | Do not kill except for a just cause [Mohammed] |
| 6811 | Allah is lord of creation, compassionate, merciful, king of judgement-day [Mohammed] |
| 6819 | True believers see that Allah made the night for rest and the day to give light [Mohammed] |
| 6818 | Allah cannot have begotten a son, as He is self-sufficient [Mohammed] |
| 6834 | Unbelievers try to interpret the ambiguous parts of the Koran, simply to create dissension [Mohammed] |
| 6831 | He that kills a believer by design shall burn in Hell for ever [Mohammed] |
| 6827 | Make war on the unbelievers until Allah's religion reigns supreme [Mohammed] |
| 6824 | Do not split into sects, exulting in separate beliefs [Mohammed] |
| 6821 | I created mankind that it might worship Me [Mohammed] |
| 6817 | The Koran is certainly composed by Allah; no one could compose a chapter like it [Mohammed] |
| 6829 | There shall be no compulsion in religion [Mohammed] |
| 6815 | Be patient with unbelievers, and leave them to the judgement of Allah [Mohammed] |
| 6820 | The righteous shall dwell on couches in gardens, wedded to dark-eyed houris [Mohammed] |
| 6812 | Heaven will be reclining on couches, eating fruit, attended by virgins [Mohammed] |
| 6816 | The unbelievers shall drink boiling water [Mohammed] |
| 6830 | Unbelievers will have their skin repeatedly burned off in hell [Mohammed] |