3 ideas
17751 | Gödel proved the completeness of first order predicate logic in 1930 [Gödel, by Walicki] |
8920 | Equivalence relations are reflexive, symmetric and transitive, and classify similar objects [Lipschutz] |
19945 | Jew and Greeks, bond and free, male and female, are all one in Christ [Paul] |