>>952
それは、計算機で数学の証明ができない、ということと等価なんでしょうか?