Axiom
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 P bli nöjd).