מערכת פאנו – הבדלי גרסאות

 

קבוצה <math>\ \omega</math> עם קבוע <math>\ 0\in \omega</math> ופונקציה אונארית <math>\ S : \omega \rightarrow \omega</math> היא '''מערכת פאנו''', אם היא מקיימת את האקסיומות הבאות:

# לכל שני איברים <math>\ x,y\in\omega</math>, אם <math>\ S(x)=S(y)</math> אז גם <math>\ x=y</math> (כלומר - הפונקציה S [[חד חד ערכית]]).

# תת-הקבוצה היחידה <math>\ K\subseteq \omega</math> המקיימת את התכונות