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