ON THE CONCEPT OF PROOF IN ELEMENTARY GEOMETRY (Proof and Knowledge in Mathematics, 1992)
Keywords: Mathematical logic; Philosophy of mathematics; P0 P1 P2; Euclidean Geometry; Ideal; Nonstandard Analysis; Algebraic Extension; Points Pi; Real Number Field; Center M; Predicate Calculus; Analytic Geometry; Synthetic Geometry; Infinitesimal Numbers; Completeness Axiom; Folding Line; Archimedean Axiom; Pi Pj; General Relativity Theory; Riemannian Geometry; Geometrical Demonstrations; Pk Pl; Nonstandard Numbers; Rectangular Solids; P0 P1; Semantic Proofs