Sebuah data yang diidentifikasi sebagai input akan mampu dibaca, diproses, dan diselesaikan dengan baik output.
For the symbol " " may be taken to mean any finite integer, without thereby making any of Hilbert's axioms false ; and thus every number-symbol becomes infinitely ambiguous.
TEKNIK PENGITLAKAN - Bina model bagi masalah yang diselesaikan.