furthermore, if we define the identity function as:

since S(1) = 0, and S(2) = 1. If we want S(x) to be analytic and continuous (which we do), by the mean value theorem there is an operator who's identity is 0.5. Let's call this q.

doing some simple manipulations and we get

this is by the first axiom.

Given that. We can let a = 2, and get the contradictory result:

if we want:

we arrive at a contradiction or a result that is definitely not desired.

Either

or

this would imply our function at q has the following behaviour (if we simply reapply the first axiom recusively):

this result can be extended to any value of sigma:

giving:

therefore we have three options

1. the identity function is not analytic

2.

3. or in general is not a smooth monotonic increasing function unless sigma is an integer.

If we let 3 then we also get the result that operators extended less than addition are impossible. In this we imply

but we already know

The first option, that the identity function be not analytic isn't desirable at all. Furthermore, it's more than it just not be analytic, but it implies the only results possible are 0 and 1. And that it only takes 0 at addition and everywhere else we have 1.

In conclusion, if we want to have the Ackermann function extended to the complex domain everywhere and be monotonically increasing everywhere we're going to have to lose the aesthetic property:

since S(1) = 0, and S(2) = 1. If we want S(x) to be analytic and continuous (which we do), by the mean value theorem there is an operator who's identity is 0.5. Let's call this q.

doing some simple manipulations and we get

this is by the first axiom.

Given that. We can let a = 2, and get the contradictory result:

if we want:

we arrive at a contradiction or a result that is definitely not desired.

Either

or

this would imply our function at q has the following behaviour (if we simply reapply the first axiom recusively):

this result can be extended to any value of sigma:

giving:

therefore we have three options

1. the identity function is not analytic

2.

3. or in general is not a smooth monotonic increasing function unless sigma is an integer.

If we let 3 then we also get the result that operators extended less than addition are impossible. In this we imply

but we already know

The first option, that the identity function be not analytic isn't desirable at all. Furthermore, it's more than it just not be analytic, but it implies the only results possible are 0 and 1. And that it only takes 0 at addition and everywhere else we have 1.

In conclusion, if we want to have the Ackermann function extended to the complex domain everywhere and be monotonically increasing everywhere we're going to have to lose the aesthetic property: