>>625
>まず、RのQ上のハメル基底・超越基底は決してRの解析集合(analytic set)にならないことが知られている。
これは知らなかったわ。