{"conversations": [{"from": "human", "value": "Zer dira Peanoren axiomak?"}, {"from": "gpt", "value": "2. Zenbaki natural orok ondorengo bat du *n**. (Axidio hau gero batuketa definitzeko erabiltzen da). 3. 1 zenbakia ez da zenbaki natural baten ondorengoa. 4. Zenbaki natural bi baldin badira ** eta * m* ondorengoarekin, orduan ** eta * * ** zenbaki bera dira. 5. 1 zenbaki naturala zenbaki naturalen multzo batekoa baldin bada, orduan zenbaki natural bera da."}, {"from": "human", "value": "Esango zenidake axioma matematiko bat dela?"}, {"from": "gpt", "value": "Axioma zer den esan diezazuket (gorputz teoriko baten baitan onartutako proposamena), baina ez dago \"Axio matematikorik\" horrelakotzat, baizik eta axiomak multzotzat hartzen dira matematikoki."}]}