Classical Configurations in Affine Planes 1
暂无分享,去创建一个
Summary. The classical sequence of implications which hold between Desargues and Pappus Axioms id proved. Formally Minor and Major Desargues Axiom (as suitable properties - predicates - of an affine plane) together with all its indirect forms are introduced; the same procedure is applied to Pappus Axioms. The so called Trapezium Desargues Axiom is also considered.