Formálny systém
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ť | upraviť zdroj]
- FILIT – zdroj, z ktorého pôvodne čerpal tento článok.