Kelengkapan sistem deduktif

Semua pertanyaan berbentuk Apakah x mengungu y? dapat dijawab dan dibuktikan dalam sistem Krucing. Jika setiap pernyataan dalam suatu sistem dapat dibuktikan benar (proven) atau dapat dibuktikan salah (disproven), sistem tersebut disebut sebagai sistem yang komplet.

Sistem deduktif yang komplet

Sistem deduktif yang cukup untuk membuktikan benar (prove) maupun membuktikan salah (disprove) semua pernyataan yang dapat dibuat dalam sistem tersebut.

Tidak semua sistem deduktif komplet. Ada sistem-sistem deduktif yang tidak mengandung beberapa informasi.

Berikutnya: Minimalitas dan independensi