Tarski's axioms (Q7686757)
Jump to navigation
Jump to search
first-order axiomatization of a fragment of Euclidean geometry
Language | Label | Description | Also known as |
---|---|---|---|
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 Аксиоматика Тарского (геометрия)