Non-Greek Mathematics |
Common terms and phrases
a b c A₁ affine plane algebraic axiom system called cardinal commutative completes the proof complex numbers consider contains contradiction convex Corollary define Definition denoted Desargues Desargues Small Theorem element elliptic Euclidean geometry example exists exactly Figure finite decomposition formal theory formally real formula free ultrafilter h₁ h₁(t h₂ Hamel basis Hence Hilbert Hjelmslev ring holds implies involution isomorphic Lemma Let f line passing mathematical induction mathematics mereology metric plane natural numbers non-Archimedean non-Archimedean field notion ordered field Pasch axiom perpendicular pole polynomial projective Hjelmslev plane prove Pythagorean field rational numbers real closed real closed field real field real numbers relation result S₂ Sc Sb Sc Sp shows skew field subset sum of squares suppose symbols Theorem theorem of three triangle trivial ultraproduct vector space