Ini menurut Gödel . Di tahun 1931, Gödel menunjukkan bahwa semua teori yang dapat membuktikan basic arithmetic, maka dia tidak konsisten atau tidak komplit. Nah karena komputer adalah sistem yang berbasis