Metadata
Author: WikiMatrix
Data
English[en]
Formal rigour is the introduction of high degrees of completeness by means of a formal language where such proofs can be codified using set theories such as ZFC (see automated theorem proving).
Indonesian[id]
Keketatan formal adalah pengenalan kelengkapan berderajat tinggi menurut suatu bahasa formal, di mana bukti tersebut dapat dikodifikasi menggunakan teori himpunan seperti ZFC (lihat Teorema pembuktian otomatis).