uzbilimsel usbilim anlamı İng. mathematical logic Osm. matematiksel mantık Alm.mathematische Logik Fr. logique mathématique
Taslam kuramı, yinelgen işlevler kuramı, kanıtlanım kuramı ve kümeler kuramı yardımıyla uzbilim kuramlarını inceleyen bilim dalı. Anlamdaş. simgesel usbilim.