Tarski's axiom

URI: https://gptkb.org/entity/Tarski's_axiom
GPTKB entity
Statements (13)
Predicate Object
gptkbp:instanceOf gptkb:Titan
gptkbp:appliesTo gptkb:Euclidean_geometry
gptkbp:field gptkb:geometry
gptkbp:formedBy gptkb:Alfred_Tarski
https://www.w3.org/2000/01/rdf-schema#label Tarski's axiom
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