Synoniemen van bewijstheorie

vrouwelijk (de)

(wiskunde) een tak van de wiskundige logica die bewijzen als formele wiskundige objecten opvat

Er zijn geen synoniemen bekend voor bewijstheorie.