This thought started off as 'If we are in a simulation, or if there exist a God/omnipotent being that can change the laws of physics (and everything) as we know it - is it possible for a change to defy reality as we know it?"

The most dramatic example I could think of is 1+1=3.

Ex: One shoe, another shoe, bam - 3 shoes.

This concept of a world where 1+1=3 is really hard to conceptualize for me because it changes everything that I understand the world as - which creates a picture for my original thought process:

Are there rules that even God(s) have to follow when formulating a world? Is it possible for us to be completely sure that 1+1=2 and there's no other way around it? Or, am I having a trouble conceptualizing this simply because I've lived my whole life in a world where 1+1=2 and laws of the universe are possibly more fluid than I had originally imagined?

(Note: Although I am indeed curious if 1+1=3 is possible in a theoretical world, please note that this is just an example for a bigger question)

  • 7
    "Could an omnipotent being draw a square circle? Descartes notoriously answered “yes.” However, the Western philosophical and theological traditions have, at least since Aquinas, almost universally given the opposite answer. The view that an omnipotent being could do absolutely anything, even the logically absurd, is known as voluntarism." Mar 16, 2020 at 16:01
  • 1
    Seems like there might be two aspects to this question, one about whether "a world where 1+1=3" is actually a possible world, or even expresses a coherent or conceivable concept (some philosophers do discuss impossible worlds), and second about whether philosophical views about God's omnipotence say that God can change the "laws" of mathematics or logic. Might be a good idea to edit the question a bit to focus on which question you're more interested in, or if you're interested in both split it up into two more focused questions.
    – Hypnosifl
    Mar 16, 2020 at 18:30
  • 3
    1+1=3 is not something that can be in the world or even about the world, it is a mathematical abstraction. So the title question does not really make sense. But we can easily make it true "in" our world by swapping the use of symbols "2" and "3". Even without that there can be a world where putting two things together makes a third thing pop up. There can even be a world where this happens often enough for its intelligent inhabitants to incorporate it into their rules of arithmetic. It doesn't even take omnipotence. But it is a postulated rule, not something to be sure or unsure about.
    – Conifold
    Mar 17, 2020 at 4:49
  • 1
    @Conifold - Even in that hypothetical world, ppl would likely have notions of arithmetic matching ours for conceptual groupings (such groupings may be the intuition behind sets in set theory). For example if you pick some volume of space at a single instant of time and divide it conceptually into two halves, then ask "how many people are in the left half" and "how many people are in the right half" and the answer in each case is "1", then they would presumably agree this implies that the whole volume contains 2 ppl at that instant, even if a 3rd would appear if they later moved closer.
    – Hypnosifl
    Mar 17, 2020 at 6:15
  • 1
    @Hypnosifl Perhaps, or perhaps they'll have no arithmetic or concepts, those are our devices. We or they decide what the rules are for them, if any, not the world. The question confuses linguistic conventions with what they are used to express.
    – Conifold
    Mar 17, 2020 at 7:34

12 Answers 12


1 + 1 in exponential math can equal three, so this is not actually a good way to phrase the question. Some aspects of our world sum arithmetically, some sum exponentially, some sum logarithmically, some statistically, and some sum in the frequency domain. I think we all get the point, which is to ask about logical impossibilities, but the answer when one just considers the math actually suggests an answer.

We humans tend to think that what we experience on a daily basis is a logical necessity. In math terms, this was exemplified by the belief that Euclidean Geometry couldn't NOT be true -- everywhere and for everything. This was actually the example Kant used. Of course, less than a half century later, non-Euclidean geometries were developed that were self-consistent, demonstrating Kant was entirely wrong about the "logical necessity" of any form of math. And then our universe ended up following non-euclidean geometry, just rubbing the noses of necessitarians in their error. (Note that in a space of varying non-euclidean curvature, angles do not sum arithmetically either, for yet another example from our world.)

MATH, it turns out, can be done in all sorts of exotic and unique ways. Which of them are instantiated in the world -- is CONTINGENT, not necessary. And yes, a world could exist where exponential summing was common rather than an unusual exotica, and 1+1 = 3 on a pretty regular basis.

Your bigger question has to do with logic, and whether logic is necessary, even if math is not. And if logic IS necessary, would it then precede and constrain a creator deity? Alternatively, of a deity created everything, a PantoKrator, why would that everything not include logic?

Well -- it took a century and a half after showing that math is purely discretionary, but logicians are now pretty much agreed that LOGIC is also discretionary: https://math.vanderbilt.edu/schectex/logics/ If logic is contingent, then a creator, a PantoKrator, can in principle specify the logic that a world follows. And also could have different parts of a world follow different logics. Which we pretty much knew, given how quantum mechanics follows different logic than macro scale matter.

  • 3
    The problem is that when you refer to alternative systems of math you are changing the definitions of the terms (different axioms to define them)--for example if someone says it's logically impossible two parallel straight lines could ever meet, thinking about the intuitive meaning of the terms in Euclidean geometry, does it really prove them wrong if you show this isn't true when you redefine a "straight line" to mean an arbitrary geodesic on a curved surface, like a great circle on a sphere, and define "parallel' in terms of parallel transport?
    – Hypnosifl
    Mar 17, 2020 at 4:41
  • 1
    @Hypnosifl -- I think I agree with you, I believe that a logic or math claim has to come with a specified frame set, as in "1+1=2 in linear arithmetic summing", and the selected frame set is contingent.
    – Dcleve
    Mar 17, 2020 at 4:53
  • Kant didn't say that Euclidean geometry was "logically" necessary. Apr 22, 2020 at 21:37
  • @KristianBerry -- this author disagrees with you: researchgate.net/publication/…. and while this one agrees, he concedes that the view that "Kant does say that Euclidean Geometry is an a prior necessity" is a near-consensus: repository.hkbu.edu.hk/cgi/…
    – Dcleve
    Apr 22, 2020 at 22:05
  • Kant thought Euclidean geometry was necessary synthetically a priori, not analytically so. The latter would be "logical" necessity. Apr 22, 2020 at 22:08

You can do 1+1 apples only if both apples are absolutely identical. Can you find two apples having such characteristic? No way. What you will always do is selecting a scale to accept identity. That is "I will consider two apples if they weigh the same up to the limit of my balance, which shows hundredths of kgs". But in such case, you are just being subjective about what to consider an identity. You will be saying 1+1=2 to something similar to 1.0000+1.0001=2.0 (which is obviously wrong). 1+1=3 is exactly the same case:

Take a digital bathroom scale that's able only to display integers. Put 1.4 kg on it. It'll tell "1". Repeat with a similar weight. Now, put both on the balance, you'll read "3". That is, 1+1=3.

This is not a joke. A classical philosophical problem is the selection of a limit for the definition of objects. That means that what is 1 for you, could be 0 for another person. If you have a ton of apples in a truck and two persons count them, the results will ALWAYS be different, and not because of errors. Some apples will be partially smashed and one could count them as valid and the other might not.

In simple words, an object (represented mathematically by the unit, 1) is a subjective definition. The definitions of objects are never objective. Therefore, 1+1 is not factually possible, although we assume subjectively that it is, and accept that 1+1=3 in some cases. Therefore, 1+1=3 is a common fact, although we prefer to ignore it and focus the ideal provided by reason and the limitations of perception.

  • Excellent point -- the logic of math NOT a constraint on our world, which does not have absolutes or categories intrinsic to it.
    – Dcleve
    Apr 22, 2020 at 22:15

Can an omnipotent being make:
Successor(Successor(0)) = Successor(Successor(Successor(0)))? --No. https://mathworld.wolfram.com/PeanosAxioms.html

Can an omnipotent being assign the semantic meaning of {2} to the numeric symbol "3", --Yes.

  • Just an attempt.

(1) If a proposition is contradictory, it logically implies any proposition.

(2) 1+1 = 3 is contradictory.

(3) God decides that 1+1 = 3.

(4) Therefore God decided that any proposition is true.

(5) Therefore, God decides that " 1+1 is not equal to 3 " is true.

(6) Therefore God decides that one and the same proposition has 2 truth values.

So , the question amounts to : " can an omnipotent being reject the principle of bivalence?".

  • Other attempt :

(1) An omnipotent being is a being that can do anything that is possible.

(2) It is not possible that 1+1 = 3.

(3) Hence, it is not the case that an omnipotent being can make 1+1 = 3.

  • Another attempt ( along Descartes' line of thought in Meditations):

(1) A bad or evil will is a sign of impotency.

(2) A world in which 1+1 = 3 is true is a bad world, for in that world if a proposition is true, it is also false, in such a way that truth and falsehood do not mean anything.

(3) God is omnipotent, infinitely powerful, hence infinitely good.

(4) God would never want to create a world in which 1+1 = 3, for this world would be a bad one.

(5) It is morally impossible God to make 1+1 = 3, because he is omnipotent.

  • thoughts: Your first (2), 2a, is not true for many forms of summing. Most entertainingly, it is not even true of people, as population math leads to 1+1 = 3, then 4, then many more. 2b presumes that logic preceeds a PantoKrator -- so, where did logic come from, and why can't it be modified? The multiple logics we have found, show that there is no single absolute "One True Logic". The argument in 6a unravels when one realizes that reasoning and logic cannot be justified by reason or logic -- the Munchausen Trilemma shows that reasoning cannot validly close on itself.
    – Dcleve
    May 2, 2020 at 20:54

The most dramatic example I could think of is 1+1=3. Ex: One shoe, another shoe, bam - 3 shoes. This concept of a world where 1+1=3 is really hard to conceptualize for me because it changes everything that I understand the world *

I am not quite sure what you mean by "One shoe, another shoe, bam - 3 shoes". Are you saying a world where law of conservation doesn't hold as it does in our World? In our World, you can make 3 shoes out of 1+1 (make smaller shoe -2/3rd of original); you can now count them up to 3, and probably even say, falsely though, 1+1=3.

If the other World is different, you may end up having 1+1=3 because that is how that World would be like. 1+1=3 will be the norm, and your question, under its current interpretation, will have no value.

  • Excellent point. Our world does not have "conservation of entity quantity", hence 1+1 can equal 3 in all sorts of situations.
    – Dcleve
    Jul 23, 2020 at 21:08
  • @Dcleve Yes, and it suggests that Type Theory can be a (reasonable) foundation of mathematics.
    – Ajax
    Jul 24, 2020 at 17:48

If we're going to be inferring abilities from omnipotence, we'll be using some notion of inference, so we'll at least be holding the rules of that inference true even for our all-capable being. If 1+1=3 according to those rules, then...


We first have to answer the question of what does omnipotence mean. If a being is omnipotent, is this being bound by the rules of logic, or can the being alter logical inference itself?

If God cannot alter the rules of logical inference, then if he created a universe where 1+1=3, this universe would automatically be degenerate. The rules of logical inference prove that 1+1=2 (e.g. use the Peano axioms). If 1+1=3 and 1+1=2 and logical inference is valid, then the principle of explosion implies that in this universe, every possible statement is both true and false.

However, if God can alter the rules of logical inference, then all bets are off. It is not possible for me or anyone else to rationally answer this question under that assumption, as doing so requires assuming rules of logical inference. I suppose one could argue that in such a universe, there would be nothing that we would recognize as numbers and so there wouldn't be such statements as 1+1=3, but since we have no way of conceptualizing such a universe, I don't feel comfortable to make any claim about it at all.


It depends on the definition. For instance, if you have one infinity and add another infinity, is it now 2 infinities? or is it just a greater infinity? This theory could also be reversed. Making 1 infinity + 1 infinity = 3 infinities.

  • mathworld.wolfram.com/PeanosAxioms.html Can an omnipotent being make Successor(Successor(0)) = Successor(Successor(Successor(0))) ? No.
    – polcott
    Apr 19, 2020 at 15:32
  • Good point, arithmetic summing does not work with infinities. However, fleshing the answer out with more content, so that it stands alone as an answer, rather than just a comment, would be a good idea.
    – Dcleve
    Apr 22, 2020 at 22:12

All words and numbers are based on definitions on how we understand them. 1 Woman and 1 Man interacting with each other will possibly get you to a family of 3

So we are essentially already living in the world you described.

To give a little bit more context.

All Areas of Mathematics are based on Axioms. Those are non-proveable statements which are just assumed to be true and show themselve to be "at least somewhat correct" by providing Theories which are derived by them which in turn provide us with possibilities to check if everything works out by real life experiments.

For now everything in the Axiomatik world of Mathematics looks good. But no one can be 100% certain that it will stay that way.

So the direct answer to your question is "we can not know", but the most likely one is "yes, because 1+1=3 is already the case for some underlying Definitions"

  • Excellent point, population dynamics is exponential, not arithmetic, so sometimes 1+1 does equal 3.
    – Dcleve
    Apr 22, 2020 at 22:16

When we say that p is necessary we mean that it is not possible that not p . So when we say 1 + 1 = 2 is necessary we mean that it is not possible that 1 + 1 is not 2 . To say that God is able to make 1 + 1 = 3 is to say that God is able to do something that is impossible .


How do you mean that? In the cause of maths it can be done, by simply omitting the alignment of the symbols, but math would still work the same. If you mean, it as in lying, there the ground rule of a world is to grift about The Truth and telling it is considered wrong and undesired, it could also be. I just don't know, why you would want that. The Romans had something similar, then it was considered normal to offer briber in court and have mobs intervene, being the fundamental part in it, also slander as a form of argument to further the plot. Obviously, in the course of history, it is no longer a common practice.


A world in which counting is meaningless is necessarily a world in which measurements are meaningless. So if in that world 1+1 = 3, then the distance to the sun is both 93 million miles and zero. Such a world would be uninhabitable to humans.

  • Maybe if 1+1=3 were true, then all living things would look different, as well. Such a world might be inhabitable to some other human-like animal. Mar 17, 2020 at 0:52
  • Your premise is quite simply false. Logarithmic, exponential, and statistical summing are not arithmetic, and some aspects of the world use all of them. We currently inhabit a world where 1+1 does not always equal two. We DO tend to require reasonable stability in our world, but either absolute stability, or arithmetic summing -- no.
    – Dcleve
    Mar 17, 2020 at 3:38
  • 2
    The OP's question did not specify what form of summing to consider. I took the simplest example. If we accept 1+1 = 3, subtracting 2 from each side yields 0 = 1, an important result which establishes among other things that Winston Churchill is a carrot. Proof is left as an exercise to the reader. . Mar 17, 2020 at 4:53
  • Subtracting 2 from each side of 1+1=3 in exponential math does not yield 0 = 1. Your "proof" has presuppositions that are false. Have you ever done statistical summing or subtractions. Logarithmic, or frequency summing or subtractions?
    – Dcleve
    Mar 17, 2020 at 4:57
  • I stated my presuppositions, they are not false, yes I have, but I will waste no further time on this. Since this is "philosophy", you are free to believe whatever you want. Mar 17, 2020 at 7:00

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .