Formálny systém

z Wikipédie, slobodnej encyklopédie
Skočit na navigaci Skočit na vyhledávání

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ť kód]

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