User:Boris Tsirelson/Sandbox1

Two finite lists of vectors generate (by summation) the same infinite set of vectors. Similarly, different finite lists of axioms can be used for generating the same infinite set of theorems.

In Euclidean geometry, a plane is defined as a flat surface that for any two of its points entirely contains the straight line joining them. Until well into the nineteenth century it was thought that the only geometry possible was Euclidean and consequently this definition of "plane" was considered satisfactory. However, with the birth of non-Euclidean geometry and attention to the logical foundations of mathematics in the second half of the nineteenth century, doubts arose about the exactness and the limitations of the Euclidean definition of a plane.

In 1899 David Hilbert published his seminal book Grundlagen der Geometrie [Foundations of Geometry] in which he re-investigated and rephrased Euclid's two-millennia-old axioms and propositions. Hilbert begins with listing undefined concepts, among which are "point", "line", and "plane". In terms of these undefined concepts Hilbert formulates sets of axioms. The first axiom regarding the plane is axiom I4: Three points A, B, C that are not on one and the same line determine always a plane α. He adds that this is expressed as "A, B, and C lie in α", or "A, B, and C are points of α". His axiom I5 is a subtle extension of I4: Any three points in plane α that are not on one line determine plane α.

This article discusses some possible geometrical definitions of a plane as a locus of points and mentions its modern definition as two-dimensional subspace of an affine space.

(CC) Image: Dina Tsirelson
The surface of this metallic body consists of rectangles situated in various planes.

In Euclidean geometry, a line (sometimes called a straight line) is a straight curve having no thickness and extending infinitely in both directions. Line, together with point, is a basic concept of elementary geometry. It is closely related to other basic concepts, especially, distance: it provides the shortest way between any two of its points. Line can be defined in terms of distances, orthogonality, coordinates etc. In the axiomatic approach it is an undefined primitive. In a more abstract approach a line is defined as a one-dimensional affine subspace.