>>46
ええと、巨大数を定義するルールにZFCが課せられていること前提の話ですか?