Lalu, ini diolah gasannya teorema kada lengkapnya Gödel nang (secara kada formal) menyampai akan begimitan bahwa setiap sistem formal efektif nang isinya aritmatika dasar, jika satu suara (artinya seberataan teorema dapat dibuktikan bujur), pasti kada lengkap (artinya ada jua teorema nang bujur nang kada kawa dibukti akan dalam sistem ngitu).