今回は対公理の話、対公理で任意の集合x,yにたいし、xとyを元として含むような集合zをとり、z内部で内包公理によってx,yしか元がない公理を作り、外延性公理によってその一意性を証明する。一意に存在するので、集合x,yしか含まない集合を{x,y}と書いてよい。…

発表内容はこちら。 ベナセレフのディレンマ*1を解決するため、数学的知識は経験によって得られることにしたい。そのため、自然数を属性と考えよう。つまり、「xはn個ある」は、「xは赤い」と同じような経験的な属性である、と考える。 Maddyらは、集合を属…

曇り空、湿度の高い日。出所してから非常勤先の某大学へ。R君セミナーと授業、それから数学の哲学の講演会に出席。懇親会では、メリーランドの院生さんも出席*1されていたりして、楽しい時間を過ごすことが出来ました。二次会に出て、24時に帰宅。 *1:あまり…