Voidaan todistaa, että kaikki tämän aksioomajärjestelmän mallit ovat keskenään isomorfisia, mikä havainnollisesti tarkoittaa, että niiden matemaattinen rakenne on täysin sama ja ne eroavat toisistaan vain merkintöjen osalta.
vˈoidaːn todˈistaː, ˈetːæ kˈaikːɪ tˌæmæn ˌaksɪˌoːmajˌærjestˈelmæn mˈallɪt ˌovat keskˈenæːn ˌisomˌorfɪsˈia, mˈikæ hˌavainnˌollɪsˈestɪ tːarkˈoitːaː, ˈetːæ nˈiːden mˌatemaːtːˈinen rakˈenne on tˈæysɪn sˈama ja ne ˌeroˈavat toisˈistaːn vˈain mˌerkɪntˈøjen osˈalta.