Bütünlük

Tamlık, Hem ispat teorisinde hem de model teorisinde kullanılan biçimsel bir sistemin yeterliliği kavramı (bkz. mantık). İspat teorisinde, bir biçimsel sistemin sözdizimsel olarak tam olduğu söylenir, ancak ve ancak sistemdeki her kapalı cümle ya kendisinin ya da olumsuzlamasının sistemde ispatlanabilir olması durumunda. Model teorisinde, bir biçimsel sistemin anlamsal olarak tam olduğu söylenir, ancak ve ancak sistemin her teoremi sistemde kanıtlanabilirse.