The proof establishes ‘ 1+1 = 2 ’ as an item of mathematical knowledge or truth, according to the previous analysis, since the deductive proof provides a legitimate warrant for asserting the statement. Furthermore it is a priori knowledge, since it is asserted on the basis of reason alone.