計算可能ってフリードマンの超越整数のこと?
それともZFCのn文字でってやつのこと?