e/Proofs involving the addition of natural numbers

Information
lexicalization	eng: Proofs involving the addition of natural numbers
instance of	(noun) an operation that follows the rules of Boolean algebra; each operand and the result take one of two values binary arithmetic operation, boolean operation, binary operation