Formálny systém je reprezentácia axiomatickej teórie v podobe kalkulu. V prípade, že rozvíjame deduktívnu teóriu bez toho, aby sme pripisovali určitý význam jej primitívnym termínom, s ktorými zaobchádzame ako s premennými, hovoríme, že pojednávame o teórii ako o formálnom systéme.

Externé odkazy upraviť

  • FILIT – zdroj, z ktorého pôvodne čerpal tento článok.