6 ideas
22102 | Arguing with opponents uncovers truths, and restrains falsehoods [Aquinas] |
17832 | Zermelo showed that the ZF axioms in 1930 were non-categorical [Zermelo, by Hallett,M] |
13028 | Replacement was added when some advanced theorems seemed to need it [Zermelo, by Maddy] |
17626 | The antinomy of endless advance and of completion is resolved in well-ordered transfinite numbers [Zermelo] |
12733 | Because of the definitions of cause, effect and power, cause and effect have the same power [Leibniz] |
12734 | Every necessary proposition is demonstrable to someone who understands [Leibniz] |