sformalizowane teorie
 
Encyklopedia PWN
sformalizowane teorie,
teorie mat. i log. wyznaczone przez podanie zbioru ich wyrażeń oraz aksjomatów i reguł wnioskowania, określających zbiór twierdzeń;
s.t. stanowią przedmiot badań metalogiki i metamatematyki.
Przeglądaj encyklopedię
Przeglądaj tabele i zestawienia
Przeglądaj ilustracje i multimedia