集合の内包記法の縦棒の左に論理式を書いちゃうことで矛盾が発生してしまう例
集合の内包記法
を
置換公理
で許可されていない書き方を使ってしまうとこういう痛い目を見ることになる
証明の“お膳立て”のやり方 オマケ1： 集合の内包的記法の困惑 - 檜山正幸のキマイラ飼育記 (はてなBlog)
像
存在記号の除去規則について考える - 檜山正幸のキマイラ飼育記 (はてなBlog)
論理式内の名前の消去とイプシロン項 - 檜山正幸のキマイラ飼育記 (はてなBlog)
#2024-01-21
15:04:15