Arutelu:Zermelo teoreem

"Oluline" on paljasõnaline ja suhteline. See ei ütle midagi sisulist.

"Teoreem" on eksitav, sest hulgateooria ei ole mingi kindel teooria kindla aksiomaatikaga. Kui ta on valikuaksioomiga ekvivalentne, siis võib teda sama hästi aksioomiks nimetada. Zermelo-Fraenkeli teoorias on ta muidugi teoreem. Mõni hulgateoreetik aga eitab seda väidet hoopis.

Sõnastus on halb, sest praegu tuleb välja, et hulgateooria ütleb seda.

Kui Zermelo 1904 selle väite teoreemina tõestas, siis ei olnud veel valikuaksioomi mõistet. Andres 10. mai 2010, kell 00:37 (EEST)

Ernst Zermelo järgi, kes

Leian, et niisugust definitsiooni tuleb võimaluse korral vältida. Andres (arutelu) 27. juuli 2012, kell 08:44 (EEST)