Axiome

I1 
I2 
I3 
A0 
A1 
A2 
A3 
A4 
K1 
K2 
K3 
K4 
K5 
K6 
E 
AM 
D 
P 
B0 
B1 
B2 
B3 
B4 
IP1 
IP2 
IP3 
Affine Ebene 
Projektive Ebene 
Angeordnere Ebene 
Hilbert Ebene