AC and Euclidean Geometry [closed]

It there any relation between the axiom of choice and Euclidean Geometry ??

I mean what are the known statements, theorems or results in euclidean geometry that are dependent on AC ?? (this question has been asked by someone else as a comment to my last question. See HERE)

-

closed as not a real question by Dan Petersen, Yemon Choi, Emil Jeřábek, quid, Bruce WestburyJan 15 '13 at 21:13

It's difficult to tell what is being asked here. This question is ambiguous, vague, incomplete, overly broad, or rhetorical and cannot be reasonably answered in its current form. For help clarifying this question so that it can be reopened, visit the help center.If this question can be reworded to fit the rules in the help center, please edit the question.

Both things are called "axioms"... – Asaf Karagila Jan 15 '13 at 19:21
@Asaf: As a set theorist you mean no relation exists. No statement or theorem or result in euclidean geometry is dependent on AC ? Is it provable ?? – user30669 Jan 15 '13 at 19:27
I never said anything about that. It also depends on what you define as Euclidean geometry. One could argue that the Banach-Tarski theorem applies to Euclidean geometry; while another could argue that the classical Euclidean geometry is effectively a constructive theory and there is no appeal to infinitary arguments which would require the axiom of choice. I only said that both the axioms of Euclidean geometry and the axiom of choice are named "axioms". – Asaf Karagila Jan 15 '13 at 19:35
@Asaf: I see :) – user30669 Jan 15 '13 at 19:46
What do you mean by a relation? As it stands, this is not a real question. – Emil Jeřábek Jan 15 '13 at 20:01

1 Answer

Tarski gave a first-order formulation of Euclidean geometry and proved it complete (without using the axiom of choice). In particular, that means that Euclidean geometry is the same in every model of ZF, with or without choice. One might question whether Tarski's formulation actually captures all of Euclidean geometry, but it certainly includes everything in Euclid.

-