unixと数学

[157 名無しさん＠お腹いっぱい。 NG NG]

>>152 連続体仮説は解決してるだろうが。肯定も否定も無矛盾だってことで。