定式化に証明なんてあるわけないだろ
こいつはリンゴの数が自然数であることを証明できるとでも思ってるのかよ