Komplethed, fuldstændighed, begreb inden for matematisk logik, se aksiomsystem.