Утверждение, истинность которого устанавливается путём доказательства — это

Утверждение, истинность которого устанавливается путём доказательства, называется теоремой. Теорема — это математическое или логическое утверждение, которое необходимо обосновать с помощью доказательства, основываясь на аксиомах, определениях и ранее доказанных теоремах.