思うに、「あめ一個とチョコ一個を買った。それ以外は何も買ってない。この場合合わせて買った数は二個である」ということの証明と、「1+1=2」であることの証明は、別個の問題なので...