>>633
>>635
>>636

↑これが数学板の実力です
専門板なのに異常にレベルが低い
せいぜい数学の少しできる高校生レベル

>>629
＞A := 有限長記号列で表現可能な全ての実数の集合 (可付番濃度)

は集合ではありません
このような命題は、対象内の言語で表現不可能で、メタ視点から俯瞰していることに相当しているからです