The axioms C0 and C1 then provide a formalization of G2; C2 for G1 and C3 for G3.
Aksioma C0 dan C1 kemudian menyediakan sebuah formalisasi G2; C2 untuk G1, dan C3 untuk G3.