well-ordered
81steel — steellike, adj. /steel/, n. 1. any of various modified forms of iron, artificially produced, having a carbon content less than that of pig iron and more than that of wrought iron, and having qualities of hardness, elasticity, and strength varying …
82Series (mathematics) — A series is the sum of the terms of a sequence. Finite sequences and series have defined first and last terms, whereas infinite sequences and series continue indefinitely.[1] In mathematics, given an infinite sequence of numbers { an } …
83Axiom schema of replacement — In set theory, the axiom schema of replacement is a schema of axioms in Zermelo Fraenkel set theory (ZFC) that asserts that the image of any set under any definable mapping is also a set. It is necessary for the construction of certain infinite… …
84Order type — In mathematics, especially in set theory, two ordered sets X,Y are said to have the same order type just when they are order isomorphic, that is, when there exists a bijection f: X → Y such that both f and its inverse are monotone (order… …
85Liquid crystal — Schlieren texture of liquid crystal nematic phase Liquid crystals (LCs) are a state of matter that have properties between those of a conventional liquid and those of a solid crystal.[1] For instance, an LC may flow like a liquid, but its… …
86John Rawls — Full name John Rawls Born February 21, 1921(1921 02 21) Baltimore, Maryland Died November 24, 2002(2002 11 …
87Morse–Kelley set theory — In the foundation of mathematics, Morse–Kelley set theory (MK) or Kelley–Morse set theory (KM) is a first order axiomatic set theory that is closely related to von Neumann–Bernays–Gödel set theory (NBG). While von Neumann–Bernays–Gödel set theory …
88mathematics, foundations of — Scientific inquiry into the nature of mathematical theories and the scope of mathematical methods. It began with Euclid s Elements as an inquiry into the logical and philosophical basis of mathematics in essence, whether the axioms of any system… …
89κοσμιώτερον — κόσμιος well ordered adverbial comp κόσμιος well ordered masc acc comp sg κόσμιος well ordered neut nom/voc/acc comp sg κόσμιος well ordered masc acc comp sg κόσμιος well ordered neut nom/voc/acc comp sg κόσμιος well ordered adverbial …
90Mathematical logic — (also known as symbolic logic) is a subfield of mathematics with close connections to foundations of mathematics, theoretical computer science and philosophical logic.[1] The field includes both the mathematical study of logic and the… …
