- uniqueness axiom
- мат. аксиома однозначности
Большой англо-русский и русско-английский словарь. 2001.
uniqueness axiom
Смотреть что такое "uniqueness 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
Reverse mathematics — is a program in mathematical logic that seeks to determine which axioms are required to prove theorems of mathematics. The method can briefly be described as going backwards from the theorems to the axioms. This contrasts with the ordinary… … Wikipedia
Group (mathematics) — This article covers basic notions. For advanced topics, see Group theory. The possible manipulations of this Rubik s Cube form a group. In mathematics, a group is an algebraic structure consisting of a set together with an operation that combines … Wikipedia
Ring (mathematics) — This article is about algebraic structures. For geometric rings, see Annulus (mathematics). For the set theory concept, see Ring of sets. Polynomials, represented here by curves, form a ring under addition and multiplication. In mathematics, a… … Wikipedia
Triangulated category — A triangulated category is a mathematical category satisfying some axioms that are based on the properties of the homotopy category of spectra, and the derived category of an abelian category. A t category is a triangulated category with a t… … Wikipedia
Gödel's ontological proof — is a formalization of Saint Anselm s ontological argument for God s existence by the mathematician Kurt Gödel.St. Anselm s ontological argument, in its most succinct form, is as follows: God, by definition, is that than which a greater cannot be… … Wikipedia
Paul Cohen (mathematician) — Not to be confused with Paul Cohn. Paul J. Cohen Born April 2, 1934(1934 04 02) Long Branch, New Jersey Died March 23, 2007 … Wikipedia
Heyting algebra — In mathematics, Heyting algebras are special partially ordered sets that constitute a generalization of Boolean algebras, named after Arend Heyting. Heyting algebras arise as models of intuitionistic logic, a logic in which the law of excluded… … Wikipedia
Mathematical 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… … Wikipedia
Wightman axioms — Quantum field theory (Feynman diagram) … Wikipedia
New Foundations — In mathematical logic, New Foundations (NF) is an axiomatic set theory, conceived by Willard Van Orman Quine as a simplification of the theory of types of Principia Mathematica. Quine first proposed NF in a 1937 article titled New Foundations for … Wikipedia
