Tarski's axioms (Q7686757)
first-order axiomatization of a fragment of Euclidean geometry
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Tarski's axioms |
first-order axiomatization of a fragment of Euclidean geometry |
Statements
Identifiers
Sitelinks
Wikipedia(5 entries)
- enwiki Tarski's axioms
- frwiki Axiomes de Tarski
- glwiki Axiomas de Tarski
- mkwiki Тарскиева аксиома
- ruwiki Аксиоматика Тарского (геометрия)
