I posted this comment to
@amermathsoc and had the same response as from the previous three: silence, deletion of my post and blocking.
I'll continue to post on others - who knows if any of those intellectually dishonest cowards might find the courage to debate me. My offer to debate any of your top mythmaticians is ongoing. Any time, any place.
I bring to your attention a precise and testable objection to the standard treatment of irrational constants within field theory. The objection does not require accepting any alternative theory. It requires only that the field axioms be applied consistently according to their own rules.
Field Axiom 9 states that for every element x in field F, x · 1 = x. This is uncontroversial for rational quantities. I am not at all convinced it retains consistent meaning when applied to π.
The standard definition of fraction multiplication gives:
(p/q) × (r/s) = (pr)/(qs)
Applying this to π × 1, written as (π/1) × (1/1), yields (π × 1)/(1 × 1). This recovers π only if π × 1 = π is already known — which is precisely what the axiom is supposed to establish. This is circular within the system's own rules.
More precisely, when you write π × 1 = (1 × 1)π = π, you are not operating on π as a number. You are carrying π as an untouched label while performing arithmetic solely on its coefficient. This is the behaviour of a unit of measure — not a field element.
This yields a direct contradiction:
P: π is a field element, subject to Field Axiom 9 as a number.
NOT P: The only consistent application of Field Axiom 9 to π treats π not as a number but as a measuring label — demoting it from field element to unit of measure.
I challenge you to respond precisely to this specific contradiction. In particular, I require that any response include a rigorous definition of "number" sufficient to determine unambiguously whether π qualifies as one. Without such a definition, the claim that π is a field element — or an extension of field elements — rests on an unexamined assumption at the foundation of your mainstream theory.
This is not a philosophical objection. It is a request for internal consistency on the system's own terms.
Anticipating your Objections and Responses:
I anticipate the following objections and address them in advance.
Objection 1: The equivalence class deflection.
"(π×1)/(1×1) and π are the same element because they belong to the same equivalence class. There is no circularity — the equivalence relation identifies them by definition."
This does not resolve the problem. The equivalence relation itself presupposes multiplicative structure in order to function. To identify (π×1)/(1×1) with π via the equivalence relation ad = bc, one must already know how to multiply π — which is precisely what is in question. The equivalence relation does not escape the circularity; it relocates it.
Objection 2: The axiomatic decree.
"The multiplicative identity is an axiom. It requires no proof and no geometric justification. π · 1 = π because the axiom says so."
An axiom that cannot be applied to its own proclaimed domain without contradiction is not a foundation — it is a patch. The field axioms claim π as a field element. If the identity axiom can only be applied to π by treating it as a measuring label rather than a number, then the axiom and the domain claim are in direct conflict. Decreeing consistency does not produce it.
Objection 3: The extension field defence.
"π belongs to a transcendental extension of ℚ. The field axioms apply to extension fields by construction."
"By construction" means by decree. One cannot extend a structure whose foundation has not been defined into a domain whose membership criteria cannot be stated. The transcendental extension of ℚ is a formal construction that inherits every unresolved ambiguity of the base structure. In particular, it inherits the absence of a definition of number. The extension does not resolve the foundational problem — it compounds it.
Objection 4: The dismissal.
"This objection reflects a misunderstanding of modern algebra. These questions were settled in the nineteenth century."
Then name the "mathematician" who defined a number rigorously enough to determine unambiguously whether π qualifies as one, and cite the work in which that definition appears. If no such definition exists — and none does — then these questions were not settled in the nineteenth century. They were evaded, and the evasion has been institutionalised ever since.
The objection stands. A precise mathematical response is invited. Think you are up to it?
John Gabriel
Feel free to share with whomever might be capable and interested.
You would do well to reflect seriously on the above — it is a direct judgment on you as a community.
Modern abstract algebra presents the field axioms as the pinnacle of mathematical rigour — a clean, self-contained foundation from which all arithmetic flows with logical necessity. This pretension deserves scrutiny, because buried within the very definition of division lies a circularity so embarrassing that one must wonder how it survived a century of peer review.
The standard formulation declares that for any two elements a and b in a field F, division is defined as a ÷ b = a × b⁻¹. This is not rigour. It is a sleight of hand dressed in formal notation — and the mainstream establishment has been applauding the trick for generations. The authorities themselves are unambiguous. Herstein, in Topics in Algebra, states: "We introduce the notation of division by defining, for b ≠ 0, a/b or a ÷ b to mean exactly a × b⁻¹." Rudin, in Principles of Mathematical Analysis, declares: "If b ≠ 0, we write a/b in place of a × b⁻¹. The operation is called division." Artin, in Algebra, is equally explicit: "Division is a secondary operation defined in terms of multiplication. The quotient a/b of two elements in a field is defined to be the product a × (b⁻¹)." Three authorities, one voice, one error.
Before we even reach the circularity of the inverse, consider what these definitions betray about themselves in their very opening clause. Every one of these textbooks dutifully appends the condition b ≠ 0. Why? Because one cannot divide by zero. But stop and think carefully about what that concession actually means. At the moment these authors write "where b ≠ 0," they are already reasoning from a fully formed understanding of division — its behaviour, its constraints, its failure modes. They know division by zero is undefined not because the field axioms told them so, but because they smuggled in prior knowledge of division to construct the axioms in the first place. The condition b ≠ 0 is not derived from the formal system. It is a confession that the formal system depends on facts about division that precede it entirely. They are defining division whilst simultaneously assuming division. This alone demolishes any claim that the field axioms provide a genuine foundation for arithmetic. The foundation was already poured before the first axiom was written. They simply hid the scaffolding.
The circularity does not stop there — it compounds. The multiplicative inverse b⁻¹ is defined as the unique element such that b × b⁻¹ = 1. Fine, as far as that goes. But the moment one asks what b⁻¹ actually is — what number it corresponds to, what value it carries in any concrete arithmetic context — the answer is inescapable: b⁻¹ = 1 ÷ b. The fractional notation 1/b is not a new concept distinct from division. It is division. Therefore the celebrated definition a ÷ b = a × b⁻¹ is nothing more than a ÷ b = a × (1 ÷ b). The system defines division by invoking an inverse whose concrete meaning requires division to be understood already. This is not abstraction. This is a dog chasing its own tail and being awarded a doctorate for the elegance of its circular motion. In any honest epistemological accounting, this is called begging the question — and in the foundations of mathematics, it is utterly fatal.
The damage runs deeper still, because this circular definition does not merely fail on its own terms — it actively misrepresents the logical order of arithmetic operations and severs them from their geometric meaning. Both division and multiplication are, at their geometric root, common measure operations. To divide p by q is to count the number of times q fits into p — and where q does not fit a whole number of times, to determine how many equal parts of q are required to complete the measure of p. Multiplication of ratios is the same process applied in the reciprocal direction. But division is logically prior in the following decisive sense: before two ratios of magnitudes can be multiplied, their consequents must first be brought into alignment. A common unit of reference must be established, and that establishment is itself an act of ratio — which is division. Thales's Theorem, the bedrock of all proportionality in geometry, is fundamentally a statement about how magnitudes divide one another. Multiplication of ratios stands on that foundation; it does not precede it. By designating multiplication as the primary operation and reducing division to a secondary convenience, the field axioms do not describe arithmetic. They describe arithmetic backwards — placing the roof before the foundation and then congratulating themselves on the architecture.
The conclusion is unavoidable. The field axioms do not ground division. They assume it, conceal the assumption behind notation, and call the concealment a definition. The condition b ≠ 0 exposes the fraud at the outset: the architects of this system already possessed a complete working knowledge of division before they sat down to define it. That this has passed without serious challenge in mainstream academia is not a testament to the rigour of the discipline. It is a testament to the power of institutional inertia and the reluctance of credentialled professionals to examine the ground beneath their own feet.
The following article dives into the details of georithmetic and shows using ONLY mainstream "rules" and "decrees", that their system is internally inconsistent.
academia.edu/165714134/The_F…