Complete theory

математика полная теория

Англо-русский научно-технический словарь

Complete theory

An abstract logical theory in which all true statements have formal proofs within the theory.

Free Online Dictionary of Computing