deductive geometry

Information: deductive geometry