まぁ，人間の主観の外にあるもの，例えば，機械が動くとか物理的な実証などは，
数学的理論を保証するものだと思います．客観的な論理とか理性とかって言っちゃうと，
お互いの主観によって選ばれる言葉同士によるコミュニケーションの限界を感じますが．

主な数学の限界は，生物の曖昧な思考プロセスを厳密に定義
するには至らないこと．主な人間の限界は，有限の時間の中で
一定の量以上は列挙しえないこと．とか言ってみる人モドキとして