@kururu_goedel: @kagami_hr それこそ集合論の知識がないと理解できないからでは？宣伝不足もあると思います。ゲーデルのプログラムからWoodin基数が紹介されるくらいで、定義もつけて面白味を表現しているような文章はあまりないのではないかと。2012-07-25…