next up previous contents
Next: Aksioom (axiom) Up: No Title Previous: Abeli rühm (Abelian group)

Aksiomatiseeritav teooria (axiomatic theory)

- teooria tex2html_wrap_inline285 on aksiomatiseeritav arvutuses tex2html_wrap_inline287 , kui leidub ülimalt loenduv valemite (teooria tex2html_wrap_inline285 aksioomide) hulk tex2html_wrap_inline291 , millest on arvutuse tex2html_wrap_inline287 tuletusreeglite abil tuletatav teooria tex2html_wrap_inline285 iga valem.



Jaan Penjam
Mon Sep 2 19:01:04 EET DST 1996