Expand scope.
21:52
+165
Not really controversial anymore
21:45
+408
Elucidate "unprovable without it".
18:29
+262
"unproven" back to "unprovable" (see talk)
18:26
-2
State that AC is independent of and consistent with the other ZF axioms.
11:48
+24