Completeness: a proof that all true mathematical statements can be proved in the formalism.
Kelengkapan: bukti bahwa semua pernyataan matematika yang benar dapat dibuktikan dalam formalisme.