わたしも自然数論を含むと簡単に言ってしまっているが、
正確には、「帰納的公理化可能な自然数論を含む理論」である。
「帰納的公理化可能な自然数論を含む理論」は有意味だろうが、
有意味だからといって「帰納的公理化可能な自然数論を含む理論」ではない。
そもそも「意味」は矛盾を含んでいる。無矛盾な「意味」などない。
「意味」とて、誤読からは逃れられないのだw