Tra từ complete theory - Từ điển Máy Tính

Từ điển Máy Tính - Foldoc Dictionary

complete theory complete theory (logic) An abstract logical theory in which all true statements have formal proofs within the theory. Last updated: 1998-07-05