For the AFQ

[y.kohmoto]

    >     A037181 :
    >     a(n)=A000...0n(n)+1
    >     let n=37181
    >     A037181(37181)=A037181(37181)+1

    Ordinary, mathematicians think the contradiction means that aleph(0) <
2^aleph(0).

    My idea which dissolve or destroy the diagonal logic is the following.

           "different sequences may have the same A number."

    A set theory using this idea "Free Class" is available on my home page.

             http://boat.zero.ad.jp/~zbi74583/another02.htm

    Yasutoshi