dizimsel tutarlı önerme kümesi anlamı İng. consistent set of sentences Alm. Widerspruchsfreie Aussagenmenge Fr. ensemble d'énoncés consistants
Kendisinden çelişme türetilemeyen önerme kümesi, kendisinden dilin tüm önermeleri türetilemeyen önerme kümesi,