>>509
いえ
何らかの数学的対象の「領域」というものを
硬理論でも常に考えなくてはいけません
そうでなければ
ただの有限文字列なのですから
ますます意味がないのです
数学的な意味というものを集合論と切り離して
考えることは無理です