その証明とは異なる公理系の下で論じているのかもしれないので必ずしもトンデモとは言い切れない