GCH implies AC a Metamath Formalization MARIO CARNEIRO 22 JULY 2015.
History of mathematics – the seventeenth century
Dynamat in slovakia
Top Mathematicians Today Into Existentialism Mathematics
Famous Mathematicians of All Time Into Existentialism Mathematics