論理学がすきな学生だなw
かなり遠回り＆勘違いしているが、静的言語のいいところは静的（=コード実行前）にプログラムの構造が決まるところだよ。だからコンパイル時にプログラム内の構造バグをチェックできる。
それだけではなく、リファクタリングも１００%問題なく実施できる。
動的言語は実行時にそれが決まるというだけで、数学的に矛盾があるわけではないw