The iota set I {\displaystyle \mathrm {I} } is a countable set of initial points that are called axioms when they receive logical interpretations.
O conxunto I {\displaystyle \mathrm {I} } é un conxunto finito de puntos iniciais que son chamados de axiomas cando reciben interpretacións lóxicas.