Tarski's axioms
first-order axiomatization of a fragment of Euclidean geometry
Press Enter · cited answer in seconds
0 sources
Tarski's axioms
Summary
Tarski's axioms is an axiomatic system[1]. It draws 92 Wikipedia views per month (axiomatic_system category, ranking #5 of 12).[2]
Key Facts
- Tarski's axioms is credited with the discovery of Alfred Tarski[3].
- Tarski's axioms's instance of is recorded as axiomatic system[4].
- Tarski's axioms's instance of is recorded as mathematical concept[5].
- Tarski's axioms's part of is recorded as list of axioms[6].
- Tarski's axioms's Freebase ID is recorded as /m/06szhy[7].
- Tarski's axioms's studied by is recorded as Euclidean geometry[8].
- Tarski's axioms's Microsoft Academic ID is recorded as 2778130972[9].
Body
Works and Contributions
Tarski's axioms is credited with the discovery of Alfred Tarski[3].
Why It Matters
Tarski's axioms draws 92 Wikipedia views per month (axiomatic_system category, ranking #5 of 12).[2]