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