分からない理由1 形式的な言語が分からない

まず、このような問題については檜山正幸さんの ーーー 「形式的」とは何だろう ーーー があります。

http://www.chimaira.org/docs/FormalReasoning.htm

形式的なモデルを使うのに慣れてないのが１つの答えです。このページを読むと形式的な文章が読みやすくなります。いくつか別のモデルを示されていて、それぞれ別の意味を持つことが書いてあるので分かります。
1+1は2とは限らないし、定義が無ければ意味がまったくないかもしれないってことが分かれば良いのだと思います。
それは分かってるんですよー。