2005-05-03 ふーむ。 よみもの メモ xatm092doraの雑記 - 証明不可能性の証明?id:xatm092dora:20040324#p1しーきゅーにーさん経由。おもろかったので無断で勝手にめもですよ。