An implication of Gödel's incompleteness theorem

Hitoshi Kitada

A proof of Gödel's incompleteness theorem is given. With this new proof a transfinite extension of Gödel's theorem is considered. It is shown that if one assumes the set theory ZFC…