- defining axiom
- мат. определяющая аксиома, аксиома-определение
Большой англо-русский и русско-английский словарь. 2001.
defining axiom
Смотреть что такое "defining axiom" в других словарях:
Axiom 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… … Wikipedia
Axiom — This article is about logical propositions. For other uses, see Axiom (disambiguation). In traditional logic, an axiom or postulate is a proposition that is not proven or demonstrated but considered either to be self evident or to define and… … Wikipedia
Axiom of regularity — In mathematics, the axiom of regularity (also known as the axiom of foundation) is one of the axioms of Zermelo Fraenkel set theory and was introduced by harvtxt|von Neumann|1925. In first order logic the axiom reads::forall A (exists B (B in A)… … Wikipedia
axiom — A proposition laid down as one from which we may begin; an assertion that is taken as fundamental, at least for the purposes of the branch of enquiry in hand. The axiomatic method is that of defining a set of such propositions, and the proof… … Philosophy dictionary
Separation axiom — In topology and related fields of mathematics, there are several restrictions that one often makes on the kinds of topological spaces that one wishes to consider. Some of these restrictions are given by the separation axioms. These are sometimes… … Wikipedia
Extension by definitions — In mathematical logic, more specifically in the proof theory of first order theories, extensions by definitions formalize the introduction of new symbols by means of a definition. For example, it is common in naive set theory to introduce a… … Wikipedia
Mereology — In philosophy and mathematical logic, mereology (from the Greek μέρος, root: μερε(σ) , part and the suffix logy study, discussion, science ) treats parts and the wholes they form. Whereas set theory is founded on the membership relation between a … Wikipedia
formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction the abstract study of propositions, statements, or assertively used … Universalium
Outline of algebraic structures — In universal algebra, a branch of pure mathematics, an algebraic structure is a variety or quasivariety. Abstract algebra is primarily the study of algebraic structures and their properties. Some axiomatic formal systems that are neither… … Wikipedia
First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… … Wikipedia
logic, history of — Introduction the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic There was a medieval tradition according to which the Greek philosopher … Universalium
