Fuldstændighed, begreb inden for matematisk logik, se aksiomsystem.