Теорияны аксиомалаштырыу — сикле йә һаналыусы (мәҫәлән, Пеано аксиоматикаһындағы кеүек) аксиомаларҙан һәм һығымта ҡағиҙәләренән торған йыйылманы күрһәтеү. Өйрәнелеүсе объекттар һәм уларҙың төп мөнәсәбәттәре, шулай уҡ был мөнәсәбәттәр буйһонған аксиомалар әйтелгәс, артабан өйрәнеү тик ошо аксиомаларға нигеҙләнергә тейеш.