Matematiken är uppbyggd av ett ständigt växande antal satser som, väl bevisade, kan användas för att definiera nya satser i all oändlighet.

Dock måste alla dessa satser vila på ett antal grundsatser som inte behöver eller kan bevisas.

Till exempel: Det går alltid att dra en rät linje från en punkt till en annan.

Vad kallas en sådan obevisbar grundsats?