Alternativ zu – wie hier – konkreten Axiomen kann man auch Axiomenschemata angeben, in welchem Fall man auch ohne Substitutionsregel auskommt.
ˌaltɜnatˈiːf tsuː viː hˈiːɾ kɔŋkɾˈeːtən ˈaksɪˌoːmən kˌan man ˌaʊx ˈaksɪˌoːmənʃˌeːmatˌɑː ˈanɡˌeːbən, ɪn vˈɛlçəm fˈal man ˌaʊx ˈoːnə zˈʊpstiːtuːtsjˌoːnsreːɡəl ˈaʊskˌɔmt.