Talk:Zermelo Theorem

http://mizar.org/version/current/html/wellord2.html links here --Ysangkok (talk) 14:31, 8 October 2015 (UTC)