グルー の パラドックス. 表象 意味.

相同 性. 公理 的 集合 論. 直観 主義 論理.