fɔrmˈalɲʲɛ ˌaksjɔmˈatɛm mˈɔʒɛ bˈɨdʑ dɔvˈɔlna ɲʲɛspʃˈɛtʃna vɛvnˈɛntʃɲʲɛ fɔrmˈuwa zdaɲʲˈɔva vˌɨraʒˈɔna w jɛ̃zˈɨku dˈanɛj tɛˈɔrji.
Formalnie aksjomatem może być dowolna niesprzeczna wewnętrznie formuła zdaniowa wyrażona w języku danej teorii.