dict.cc

⇄

⇄

Advertisement

ADJ | axiomatic | more axiomatic | most axiomatic | |

SYNO | aphoristic | axiomatic | axiomatical | ... |

aksjomatyczny {adj} | axiomatic |

Usage Examples English

- Synthetic geometry (sometimes referred to as
**axiomatic**geometry or even pure geometry) is geometry without the use of coordinates. - Analogously to the (
**axiomatic**) projective plane, an (axiomatic) Möbius plane defines an incidence structure. - Euclid's
**axiomatic**approach and constructive methods were widely influential. - In mathematics and logic, an
**axiomatic**system is any set of axioms from which some or all axioms can be used in conjunction to logically derive theorems. - If exotic P = NP together with
**axiomatic**set theory is ω-consistent, then axiomatic set theory + P = NP is consistent.

- An
**axiomatic**system is complete if every tautology is a theorem (derivable from axioms). An axiomatic system is sound if every theorem is a tautology. - In mathematical logic, second-order arithmetic is a collection of
**axiomatic**systems that formalize the natural numbers and their subsets. - An
**axiomatic**approach to algorithmic information theory based on the Blum axioms (Blum 1967) was introduced by Mark Burgin in a paper presented for publication by Andrey Kolmogorov (Burgin 1982). - Then, in the 1940s, mathematician John von Neumann and economist Oskar Morgenstern developed an
**axiomatic**basis for utility theory as a way of expressing an individual’s preferences over uncertain outcomes. - Chwistek argued against the
**axiomatic**method by demonstrating that the extant axiomatic systems are inconsistent.

- Quine's system of
**axiomatic**set theory, New Foundations (NF), takes its name from the title ("New Foundations for Mathematical Logic") of the 1937 article which introduced it. - Similar to set theory, named sets have
**axiomatic**representations, i.e., they are defined by systems of axioms and studied in axiomatic named set theory. - This section describes
**axiomatic**properties of Proportional Approval Voting. - His PhD dissertation, titled "Contributions to the
**Axiomatic**Foundations of Set Theory", contained the first proof that all possible axiomatizations of the standard axiomatic set theory ZFC must contain infinitely many axioms. - His first interest in thermodynamics focused on fitting Carathéodory's
**axiomatic**formulation better to a physicist's intuition.

- To illustrate how one can convert a natural deduction to the
**axiomatic**form of proof, we apply it to the tautology "Q"→(("Q"→"R")→"R"). - Bogoliubov causality condition is a causality condition for scattering matrix ("S"-matrix) in
**axiomatic**quantum field theory.

Advertisement