Rasiowé-Sikorského lemma

Mějme $S_{n}\subseteq \mathbb {B}$ takové, že $\bigwedge S_{n}$ je definovaná $\forall n\in \omega$. Pak existuje utrafiltr $U$ na $\mathbb {B}$ takový, že kdykoli $S_{n}\subseteq U$, pak i $\bigwedge S_{n}\in U$.

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