[HAGEの第一不完全性定理]
形式的HAGEの体系 には、
・HAGEであること証明できない
・HAGEでないこと証明できない
HAGEが存在する。

[証明]

#{KAMINOKE} ＝ 23240
の人は、一日に約50本　KE　が消滅し、
一日に、約50本　KE　が生成される。
よって、HAGEであることの形式的証明は存在しないし、
また、HAGEでないことの形式的証明もまた、存在しない。

D.Q.N.