Axiomatic system

Rarity: Uncommon

A topic a little better known than average, read and translated beyond its own country.

Rarity follows how well known the article is: its views on the French and English Wikipedia over a year, and the number of languages it exists in.

At a glance

Class

Notion

Domain

Science and technology

In collections

Nobody has pulled it yet.

What Wikipedia says

In mathematics and logic, an axiomatic system or axiom system is a standard type of deductive logical structure, used also in theoretical computer science. It consists of a set of formal statements known as axioms that are used for the logical deduction of other statements.

Excerpt from the Wikipedia article “Axiomatic system”, under the CC BY-SA 4.0 license. Read the article on Wikipedia

Image: Physis, CC BY-SA 4.0, via Wikimedia Commons.