Axiom
Version från den 8 december 2011 kl. 23.28 av Hattis (diskussion | bidrag)
Sådant där självklart, t.ex. [math]1+1=2[/math]. Exempel på ett axiom är rektangelns area ([math]b\timesh[/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 P bli nöjd).
