sformalizowany system

sformalizowany system,

log. system dedukcyjny przedstawiony w postaci zbioru formuł zdaniowych

z których każda jest aksjomatem, bądź powstała z aksjomatów przez stosowanie odpowiednich reguł dowodowych (wnioskowania reguły); postać systemów sformalizowanych mają sformalizowane teorie mat. i logiczne.