TY - RPRT TI - An implication of Gödel's incompleteness theorem AU - Hitoshi Kitada PY - 2009 UR - https://arxiv.org/abs/0904.0342 ID - 0904.0342 ER -