Verification of the first two groups of Hilbert's axiomatics, up to the polygonal Jordan Curve Theorem.