Formala sistemo

Formala sistemo es abstraktigala strukturo uzata por inferar teoremi de axiomi segun specifika reguli. Ti reguli es logikala kalkulo dil sistemo.