The sum of two odd numbers is even I know formal ways of proving this, but I am doing research on how middle grade students create arguments to support conjectures. I would like to anticipate many more solutions before I enact the task. Can anyone help me find ways that middle grade students might approach proving this?
I have come to two approaches thus far from how they might approach it:


*

*Formal: Let k, m be any integer, (2k+1)+(2m+1) and so on ....

*An odd number is equal to even+1. So, we have (even+1)+(even+1). We know two even sum to an even number and 1+1 sums to two which is even. Again, the sum of two even numbers is even. Therefore, two odds add to an even.
The last approach assumes that even+even=even is accepted by the mathematical community which is a conversation we will have. Of course, students will come up with empirical arguments, but I'm looking for other ways students might try to justify this. 
 A: As simple way to explain could be made by the naive interpretation of integers as collections of countable objects. 
Indeed we said that an amount of object is odd if we can arrange them by pairs  with the exclusion of one object, thus if we consider two distinct set of objects (black and withe box)
$\blacksquare\blacksquare...\blacksquare\blacksquare...\blacksquare\blacksquare\quad\blacksquare$
$\square\square...\square\square\quad\square$
we can rearrange all the objects in pairs and thus they are an even number
$\blacksquare\blacksquare...\blacksquare\blacksquare...\blacksquare\blacksquare\quad\square\square...\square\square\quad\blacksquare \square$
A: Why is an empirical proof not acceptable?
While I agree an infinite number of examples does not constitute proof, are an infinite number of examples necessary since the one's digit can only be zero thru nine?
In other words:

*

*there are only ten (base-10) digits, 0-9

*0,2,4,6,8 are even.

*1,3,5,7,9 are odd.

*There are fifty possible additions of two of these digits – one half of the total possible sums of all digits. (11, 13, 15, 17, 19, 21, 23 ... 95,97,99.)

*Each sum of these fifty additions results in an even number.

*Therefore the sum of any two numbers, regardless of magnitude, both having an odd number as the one's digit, will result in an even number.

Is this not an adequate proof?
