Deduktala sistemo

Deduktala sistemo esas kolekto di logikala formuli de determita predikatala linguo.

Kategorio:Matematikala logiko