動的言語は実行時にそれが決まるというだけで、数学的に矛盾があるわけではないw
↓
正しくは、動的言語は実行時にそれが決まる仕組みにするために、定義を書くことができくなった。
定義がないために、定義があれば見つけられたようなこと（矛盾など）を見つけることができない。