Sistem formal

Sistem formal ialah set barang-barang data niskala, yang mendefinisikan hukum-hukum sintaks dengan mana satu set simbol-simbol niskala boleh dimanipulasi.

Ia mengandungi:

1. suatu abjad terhad simbol-simbol (“perbendaharaan kata”)
2. suatu tatacara utk membentuk perkataan (“nahu”/ “tatabahasa”)
3. suatu set aksiom (semuanya perkataan)
4. suatu set terhad hukum deduksi (dengan mana suatu set perkataan tambahan boleh dideduksi daripada suatu set yang diberi):

u1 & u2 & … & up → w1 & w2 & … & wn