Rasiowé-Sikorského lemma

Verze z 25. 10. 2014, 18:34, kterou vytvořil Veronika.Kovrzkova (diskuse | příspěvky) (Založena nová stránka s textem „Mějme <math>S_{n}\subseteq \mathbb{B}</math> takové, že <math>\bigwedge S_{n}</math> je definovaná <math>\forall n \in \omega$</math>. Pak existuje utr…“)
(rozdíl) ← Starší verze | zobrazit aktuální verzi (rozdíl) | Novější verze → (rozdíl)

Mějme takové, že je definovaná . Pak existuje utrafiltr na takový, že kdykoli , pak i .

Důsledkem této věty je úplnost predikátové logiky.