text: Если требуется доказать истинность некоторого утверждения A {\displaystyle {\mathfrak {A}}} , то образуют отрицание этого утверждения A ¯ {\displaystyle {\overline {\mathfrak {A}}}} и находят такое утверждение B {\displaystyle {\mathfrak {B}}} , что оказывается возможным одновременно доказать выводимости A ¯ ⊢ B {\displaystyle {\overline {\mathfrak {A}}}\vdash {\mathfrak {B}}} и A ¯ ⊢ B ¯ {\displaystyle {\overline {\mathfrak {A}}}\vdash {\overline {\mathfrak {B}}}} , то есть прийти к абсурду.