Interpretiert man die obigen Axiome als Axiomenschemata, dann stünde z. B. das erste Axiomenschema, , für unendlich viele Axiome, nämlich alle Ersetzungsinstanzen dieses Schemas.
ˌɪntɜpɾeːtˈiːɾt man diː ˈoːbɪɡən ˈaksɪˌoːmə als ˈaksɪˌoːmənʃˌeːmatˌɑː, dan ʃtˈyndə tsˈɛt. bˈeː. das ˈeːɾstə ˈaksɪˌoːmənʃˌeːmɑː, , fyːɾ ˈʊnˌɛntlɪç fˈiːlə ˈaksɪˌoːmə, nˈɛːmlɪç ˈalə ɛɾzˈɛtsʊŋsˌɪnstantsən dˌiːzəs ʃˈeːmɑːs.