Axiom výběru: Porovnání verzí

Přidány 4 bajty ,  před 8 měsíci
→‎top: typografie
m (→‎Motivace pro přijetí AC: interpunkč. čárka)
(→‎top: typografie)
'''Axiom výběru''' (ozn. '''(AC)''') je [[axiom]] často přidávaný k obvyklým axiomům [[Zermelova-FraenkelovaZermelova–Fraenkelova teorie množin|Zermelovy-FraenkelovyZermelovy–Fraenkelovy]] [[teorie množin]] (ZF). Poprvé jej formuloval [[Ernst Zermelo]] v roce [[1904]].
 
== Formulace ==