Skip to main content

MetaHistoryBook Browse Today Discover Create

Language

Loading…

Sun & Rain Works

Est. 2005 · Eugene, OR

Tarski's axioms — MetaHistoryBook

Tarski's axioms

first-order axiomatization of a fragment of Euclidean geometry

Wikipedia ↗Wikidata (Q7686757) ↗

Details

Instance of: axiomatic system, mathematical concept
Part of: list of axioms
discoverer or inventor: Alfred Tarski
studied by: Euclidean geometry

Connected on Wikidata

Notable work of

Alfred Tarski

Nothing in the MetaHistoryBook collection references this item yet.