33 ideas
343 | The unexamined life is not worth living for men [Socrates] |
10147 | The Axiom of Choice is consistent with the other axioms of set theory [Feferman/Feferman] |
10148 | Axiom of Choice: a set exists which chooses just one element each of any set of sets [Feferman/Feferman] |
10149 | Platonist will accept the Axiom of Choice, but others want criteria of selection or definition [Feferman/Feferman] |
10150 | The Trichotomy Principle is equivalent to the Axiom of Choice [Feferman/Feferman] |
10146 | Cantor's theories needed the Axiom of Choice, but it has led to great controversy [Feferman/Feferman] |
10158 | A structure is a 'model' when the axioms are true. So which of the structures are models? [Feferman/Feferman] |
10162 | Tarski and Vaught established the equivalence relations between first-order structures [Feferman/Feferman] |
10160 | Löwenheim-Skolem says if the sentences are countable, so is the model [Feferman/Feferman] |
10159 | Löwenheim-Skolem Theorem, and Gödel's completeness of first-order logic, the earliest model theory [Feferman/Feferman] |
10161 | If a sentence holds in every model of a theory, then it is logically derivable from the theory [Feferman/Feferman] |
10156 | 'Recursion theory' concerns what can be solved by computing machines [Feferman/Feferman] |
10155 | Both Principia Mathematica and Peano Arithmetic are undecidable [Feferman/Feferman] |
7352 | Jesus said learning was unnecessary, and only the spirit of the Law was needed [Jesus, by Johnson,P] |
344 | If death is like a night of dreamless sleep, such nights are very pleasant [Socrates] |
339 | Men fear death as a great evil when it may be a great blessing [Socrates] |
6289 | Love your enemies [Jesus] |
6292 | Love thy neighbour as thyself [Jesus] |
5356 | Treat others as you would have them treat you [Jesus] |
6286 | Blessed are the merciful: for they shall obtain mercy [Jesus] |
2 | We should not even harm someone who harms us [Socrates] |
345 | A good man cannot be harmed, either in life or in death [Socrates] |
6290 | Except ye become as little children, ye shall not enter heaven [Jesus] |
6287 | If you lust after a woman, you have committed adultery [Jesus] |
6285 | Blessed are the meek; for they shall inherit the earth [Jesus] |
346 | One ought not to return a wrong or injury to any person, whatever the provocation [Socrates] |
6288 | Don't resist evil, but turn the other cheek [Jesus] |
341 | Wealth is good if it is accompanied by virtue [Socrates] |
6293 | It is almost impossible for the rich to go to heaven [Jesus] |
347 | Will I stand up against the law, simply because I have been unjustly judged? [Socrates] |
6291 | No one is good except God [Jesus] |
338 | Socrates is accused of denying the gods, saying sun is stone and moon is earth [Socrates, by Plato] |
7351 | Jesus turned the ideas of Hillel into a theology reduced to its moral elements [Jesus, by Johnson,P] |