Axiom
Version från den 23 april 2012 kl. 10.26 av Mattias Aronsson Adler (diskussion | bidrag)
Sådant där självklart, t.ex. [math]1+1=2[/math]. Exempel på ett axiom är rektangelns area ([math]b\times h[/math]), så när [math]\displaystyle P[/math] frågar om du kan bevisa rektangelns area då svarar man alltså nej (alternativt något mer finurligt, annars kommer inte [math]\displaystyle P[/math] bli nöjd).