3 ideas
17751 | Gödel proved the completeness of first order predicate logic in 1930 [Gödel, by Walicki] |
9226 | If mathematical theories conflict, it may just be that they have different subject matter [Field,H] |
16705 | Whiteness isn't created in an alteration, because it is just this-being-white [Oresme] |