Kitada Institute of Mathematical Sciences
(KIMS)
Home ホーム
Time
Metamathematics
http://arxiv.org/abs/0904.0342
An implication of Gödel's incompleteness theorem
KIMS ©1992-2009 All rights reserved. Reproduction in whole or in part without permission is prohibited.