Kendisinden çelişme türetilemeyen önerme kümesi, kendisinden dilin tüm önermeleri türetilemeyen önerme kümesi,