形式體系Tはその言語L_Tで記述可能などんな命題も肯定と否定の兩方を證明できはしない。形式體系Tは矛盾\botを證明できないT\cancel\vdash\bot

無矛盾性 (consistency) を持たない論理を矛盾許容論理と呼ぶ