Axiom i Plan Geometri
Vad innebär det att ett objekt inom matematiken är odefinierad. T.ex står det i min bok att i den planan geometrin utgår man från två typer av odefinierade objekt: punkter och räta linjer, vad menas med det?
Att de är odefinierade betyder att man inte definierar dem i termer av andra begrepp. I ett formellt system måste man ha några sådana begrepp. Enkelt uttryckt säger man inget om vad en punkt eller en linje "är". Istället anger man i axiomen vissa egenskaper hos punkter och linjer. Dessa egenskaper är då det enda vi vet om punkter och linjer.
I en mer informell behandling av geometri brukar man tänka på punkter och linjer på ett mer intuitivt sätt, typ som prickar och streck på papper eller tavla, dock med förbehåll som "om vi tänker oss att pricken är oändligt liten" eller "om vi tänker oss att strecket fortsätter i all oändlighet åt båda håll".
