omg new proof

Assumptions
If A = B, then
a)  A-B = 0
b) A = (A+B)/2 = B

If A > B, then
a)  A-B > 0
b) A > (A+B)/2 > B


Let A = 1, B = .999...9
a) A-B = 1-.999...9 = .000...1 =/= 0
b) (A+B)/2 = (1+.999...9)/2 = 1.999...9/2 = 1.999...95 < A

Therefore, .999...9 =/= 1

>>92
It isn't constructivism. Constructivists are at least smart enough to realize that redefining the real numbers to be the rational numbers is pointless, and mainly focus on arguing that we shouldn't use the real numbers.