Irez a kontenajo

Formala sistemo

De Wikipedio

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

Obtenita de "https://io.wikipedia.org/w/index.php?title=Formala_sistemo&oldid=1019870"