>>31
まさかZFCを知らないわけじゃないとおもうけど、ZFCに誰のもクソもないでしょ。

> sqrt[-3]の象を別名として「定数」って言うのか？
言わない。指摘されている内容は以下の通り。
√(−3) は「写像 √ による 3 の像」あるいは
「写像 √ の像（値域）に属する元」であって、
「sqrt[-3]の象」というのは（sqrt[-3]は写像ではないので）意味を成さない。
# 慣習的に同じ「像」という言葉を使うけれども
# 「写像の像（値域）」は集合、「定義域の元の写像による像」は値域の元で
# 異なる意味であることに注意。