Rasiowé-Sikorského lemma

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.