Straightedge and Compass Geometry

We have assumed the following two axioms. As with the folding geometry axioms, they are subject to revision, additions, and deletions.

1. Given any point and any distance, a circle with the given point as center and the given distance as radius can be constructed.

2. Given any two points, a line can be constructed to contain the two points.