[FOM] Axioms that imply AC

[Adam Kolany]

Andrej Bauer napisał(a):

>I student of mine is writing an undergraduate thesis on theorems in 
>mathematics which are equivalent to the axiom of choice, which got me 
>thinking: are there (relatively well-known) statements in mathematics, or 
>specifically set theory, which are _stronger_ than the axiom of choice?
>Some form of choice for classes perhaps? What use does it have? There are of 
>course many weak forms of choice.
>  
>

GCH ?

...

-- 
Adam Kolany, http://akolany.pm.katowice.pl, gg. 1797933
-------------------------------------------------------
UE? Nie, nie! Dziękuję!!
-------------------------------------------------------