axiomatic system

axiomatic system
A set of axioms from which theorems can be derived.
See Also: axiomatize

Wikipedia foundation.

Игры ⚽ Поможем сделать НИР

Look at other dictionaries:

  • Axiomatic system — In mathematics, an axiomatic system is any set of axioms from which some or all axioms can be used in conjunction to logically derive theorems. A mathematical theory consists of an axiomatic system and all its derived theorems. An axiomatic… …   Wikipedia

  • axiomatic —    by Alberto Toscano   A term used to define the operation of contemporary capitalism within the universal history and general semiology proposed by Deleuze and Guattari in A Thousand Plateaus. Originating in the discourse of science and… …   The Deleuze dictionary

  • axiomatic —    by Alberto Toscano   A term used to define the operation of contemporary capitalism within the universal history and general semiology proposed by Deleuze and Guattari in A Thousand Plateaus. Originating in the discourse of science and… …   The Deleuze dictionary

  • Axiomatic design — is a systems design methodology using matrix methods to systematically analyze the transformation of customer needs into functional requirements, design parameters, and process variables. The method gets its name from its use of design principles …   Wikipedia

  • Axiomatic (story collection) — Axiomatic (ISBN 0 7528 1650 0) is a 1995 collection of short science fiction stories by Greg Egan.According to amazon.co.uk, in the Axiomatic stories: Egan delivers shocking body blows to received ideas in thought experiment stories that like… …   Wikipedia

  • Axiomatic product development lifecycle — The Axiomatic Product Development Lifecycle (APDL) model was developed by Bulent Gumus in 2005. This new model is based on the Axiomatic Design method developed by MIT Professor Nam P. Suh (1991); hence it inherits the benefits of applying the… …   Wikipedia

  • axiomatic method — In logic, the procedure by which an entire science or system of theorems is deduced in accordance with specified rules by logical deduction from certain basic propositions (axioms), which in turn are constructed from a few terms taken as… …   Universalium

  • axiomatic — adjective Etymology: Middle Greek axiōmatikos, from Greek, honorable, from axiōmat , axiōma Date: 1797 1. taken for granted ; self evident < an axiomatic truth > 2. based on or involving an axiom or system of axioms < axiomatic set theory > • …   New Collegiate Dictionary

  • Deductive system — A deductive system (also called a deductive apparatus of a formal system) consists of the axioms (or axiom schemata) and rules of inference that can be used to derive the theorems of the system.[1] Such a deductive system is intended to preserve… …   Wikipedia

  • formal system — In logic, a formal language together with a deductive apparatus by which some well formed formulas can be derived from others. Each formal system has a formal language composed of primitive symbols that figure in certain rules of formation… …   Universalium

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”