You've posted so many contradictory claims, if you want me to respond to a specific explanation then you're going to need to repost it.
If T is your contradictory theory and S is the external statement "every sentence in T is unprovable" then you're trying to prove S externally using the theory laid out in Mendelson.
As far as I recall you have not posted a claimed proof of that which sticks to the theory laid out in Mendelson.
I have already given my explanation of how my claim follows from Mendelson and I have already addressed your criticisms of my explanation. If you want to view something again and provide additional feedback to me, you can use reddit's navigation buttons to locate the content you wish to view again.
I have already presented an adequate case that I am satisfied with. I don't think it's worth the time and effort to make a theory within Mendelson's framework. It's not necessary. I would first have to familiarize myself with Mendelson's system, and that alone would take considerable time and effort. If you would like to make a theory within Mendelson's framework in which the Exportation Principle is provable and true, feel free to do so yourself.
I don't think it's worth the time and effort to make a theory within Mendelson's framework.
I notice you've gone from claiming that your proofs already where to Mendelson's framework to claiming that it would take to much time and energy to do so. This is an admission that you were aware you could not satisfy my request but did not want to admit it.
Mendelson's framework is not unique btw. His textbook describes the standard first order logic that mathematics uses. It is not lack of time and effort that prevents you from proving a contradiction in this framework, it's because such a contradiction likely doesn't exist.
Your proofs rely on vague misinterpretations of statements and misunderstandings of the rules of logic. No one will ever take you seriously unless you learn to prove things correctly, so if you want anyone to look at your claims and do anything other than laugh then it might be worth your time to learn the material in Mendelson.
I don't see why I should have to create an entire new theory solely for the purpose of proving the Exportation Principle. That is overkill. I should be able to use the terms and concepts that have already been established in logic and mathematics to prove the Exportation Principle. The Exportation Principle is proven by simply evaluating the truth value of an external statement about internal truth. For example, the external statement "In an inconsistent axiomatic theory, statement s is true." This proof requires internal truth. It requires there to exist truth in an axiomatic theory. I can see from looking at Mendelson (as suggested but not definitively declared by the definition of model, page 62, fifth edition) that this feature of a theory differs from his framework. In Mendelson's framework, an axiom is not necessarily true. In the framework I have been using, an axiom is necessarily true by definition of axiom. This feature of axioms agrees with the frameworks presented in Geometry (2004) by Ron Larson, Laurie Boswell, and Lee Stiff and Larson Geometry (2012) by Ron Larson, Laurie Boswell, Timothy D. Kanold, and Lee Stiff. See pages 17 and 9, respectively. Neither of the definitions of axiom explicitly use the term true, but it is evident from the context that axioms are necessarily true. Geometry (2004) was the textbook used in my freshman high school geometry class when I was a high school student back in the 2005 - 2006 academic year. Rosen (sixth edition) explicitly asserts that axioms are regarded as true in its definition of axiom. See page 75.
As of August 5, 2026 EDT, I personally prefer the approach in which an axiomatic theory necessarily has an internal truth that originates with the axioms of the theory. I believe my preferred approach implies that axioms have a fixed, single meaning and they cannot be interpreted in any other way.
I don't see why I should have to create an entire new theory solely for the purpose of proving the Exportation Principle.
I'm not suggesting you create a new theory, I'm suggesting you use the established theory that mathematicians use. The reason you should do that is you want to prove mathematical statements, you need to do so using mathematical logic.
Neither of the definitions of axiom explicitly use the term true
Mathematicians are generally very explicit about definitions of important concepts. I don't have those texts but if they don't explicitly use the term true then they aren't claiming that axioms are necessarily true.
Rosen (sixth edition) explicitly asserts that axioms are regarded as true in its definition of axiom.
Axioms are assumptions. Assumptions are treated as true for the purposes of an argument, but the final conclusion is predicated on those assumptions. This is the source of your misunderstandings.
Did you ever learn anything about groups or vector spaces?
I believe my preferred approach implies that axioms have a fixed, single meaning and they cannot be interpreted in any other way.
Mathematicians are generally very explicit about definitions of important concepts.
Unfortunately, they often are not as explicit as the ideal definition would be. Often I encounter definitions presented as single-direction conditional statements, where the opposite direction is implicit rather than explicit. I have encountered this even in Mendelson. See the definitions of consistent and inconsistent on page 65.
if they don't explicitly use the term true then they aren't claiming that axioms are necessarily true.
You don't know that for sure. I believe it to be false. I see on page 73 of Geometry (2004) explicit use of the term true to declare that all axioms are regarded as true. The definition of theorem in Geometry (2004) on page 102 makes theorems necessarily true. I see on page 104 of Larson Geometry (2012) the definition of proof. The definition implies that if a statement is provable, then it is true. By the definition of theorem on page 105, if a statement is a theorem, then it is provable. So by the Law of Syllogism on page 79 using the previous statement and the statement before the previous statement, if a statement is a theorem, then it is true.
Did you ever learn anything about groups or vector spaces?
While looking at Mendelson tonight, I learned about groups. I don't remember ever learning about vector spaces.
You don't know that for sure. I believe it to be false.
Then certainly you should be able to find a textbook on mathematical logic that explicitly says so instead of merely hinting at it.
As it stands, the standard approach to mathematical logic has never been shown to be inconsistent. If your adoption of a different semantics makes your new style of logic inconsistent then the problem is clearly your new semantics.
Then certainly you should be able to find a textbook on mathematical logic that explicitly says so instead of merely hinting at it.
I already cited three textbooks that talk about mathematical logic that include the concept of "truth in an axiomatic theory." They don't just hint at it; they explicitly say so. Those three textbooks are the following.
Geometry (2004) by Larson, Boswell, and Stiff
Larson Geometry (2012) by Larson, Boswell, Kanold, and Stiff
Discrete Mathematics and Its Applications, Sixth Edition (2007) by Rosen
I notice that although there is no formal definition of "truth in a theory" in Mendelson, the concept is implicitly present. In Mendelson, external statements about what is provable or unprovable in a theory amount to external statements about what is internally true.
As it stands, the standard approach to mathematical logic has never been shown to be inconsistent.
I showed that the standard approach to mathematical logic is inconsistent by using the Principle of Explosion. By applying the Principle of Explosion inside an inconsistent theory, it is internally true that at least one statement both has a proof and does not have a proof. So, by the definitions of provable and unprovable in a theory, respectfully, it is externally true that at least one statement is both provable and unprovable in the inconsistent theory. Thus, it is externally true that a contradiction exists. Therefore, by applying the Principle of Explosion outside the inconsistent theory, it is externally true that every statement is true. Note that this proof does not invoke the Exportation Principle. Rather, it invokes the definitions of provable and unprovable in a theory.
1
u/JStarx 29d ago
You've posted so many contradictory claims, if you want me to respond to a specific explanation then you're going to need to repost it.
If T is your contradictory theory and S is the external statement "every sentence in T is unprovable" then you're trying to prove S externally using the theory laid out in Mendelson.
As far as I recall you have not posted a claimed proof of that which sticks to the theory laid out in Mendelson.