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

theorem on consistency proofs מתח
.מָתֵי	теорема о доказательствах непротиворечивости