אנגלית ⇄ רוסית +

theorem of consistency proofs מתח
.טֶכנו	теорема о доказательствах непротиворечивости