Dzokorora ndima iri pasi apa uye wozopindura mubvunzo pashure mumutauro mumwe chete sezvinoita ndima: Passage: Dzimwe nzira dzinotsanangura zvakajeka nhamba chaidzo kuti dzive zvimwe zvivakwa zvakavakirwa panhamba dzakanaka, dzichishandisa dzidziso ye axiomatic set. Nhamba dzechisikigo <unk> 0, 1, 2, 3, uye zvichingodaro <unk> dzinotanga na 0 uye dzinoenderera kumusoro, kuitira kuti nhamba imwe neimwe ive nemuteveri. Mumwe anogona kuwedzera nhamba dzechisikigo pamwe nezvakashata zvavo kuti ape nhamba dzese dzakanaka, uye kuti awedzere kuwedzera kune zviyero, achipa nhamba dzakanaka. Aya masystem manhamba anofambidzana nearithmetic yekuwedzera, kubvisa, kuwanda, uye kupatsanura. Zvirinani, zvinosanganisira kurongeka, kuitira kuti imwe nhamba inogona kuenzaniswa neimwe uye kuwanikwa kuti idiki pane, yakakura kupfuura, kana kuenzana neimwe nhamba. Mubvunzo: Ndeipi dzidziso yavanoshandisa kutsanangura nhamba chaidzo?
dzidziso ye axiomatic set