Tarski's axiom

URI: https://gptkb.org/entity/Tarski's_axiom

GPTKB entity

Predicate	Object
gptkbp:instanceOf	gptkb:Titan
gptkbp:appliesTo	gptkb:Euclidean_geometry
gptkbp:field	gptkb:geometry
gptkbp:formedBy	gptkb:Alfred_Tarski
gptkbp:language	gptkb:first-order_logic
gptkbp:namedAfter	gptkb:Alfred_Tarski
gptkbp:partOf	gptkb:Tarski's_axioms_for_geometry
gptkbp:publicationYear	1926
gptkbp:usedIn	gptkb:first-order_logic axiomatic geometry
gptkbp:bfsParent	gptkb:Tarski–Grothendieck_set_theory
gptkbp:bfsLayer	6
http://www.w3.org/2000/01/rdf-schema#label	Tarski's axiom