>>11443539>>11443541You guys on
>>>/sci/ really are just a bunch of low IQ faggots.
wtf, why do you even come here?
### PROOF ###
first we construct :
consider the empty set and the powerset
now we can constuct the natural numbers by applying the powerset multiple times on the emptiset (just consider a bijection between the "depth" of the n-th application of the powerset on the emptyset and the n-th natural number.
Now we wish to create the Monoid:
we therefor define a successor function:
which we in turn define applying the power set on the n-th application of the powerset on the emptyset, which we have previously established to be in bijection with the natural number n.
we now also define the inverse function of , ie:
with being undefined
now we can define
so:
therefor:
2+2 = 3+1 = 4
which in turn actually means:
{{{}},{}} + {{{}},{}} = {{{{}},{}}, {{}}, {}} + {{}} =
{{{{{}},{}}, {{}}, {}}, {{{}},{}}, {{}}, {}} ~ 4
