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?
