(Q7686757)
Statements
Identifiers
Sitelinks
Wikipedia(5 entries)
- enwiki Tarski's axioms
- frwiki Axiomes de Tarski
- glwiki Axiomas de Tarski
- mkwiki Аксиоми на Тарски
- ruwiki Аксиоматика Тарского (геометрия)
first-order axiomatization of a fragment of Euclidean geometry