要旨はこちら。内容は以下の通り。 We investigate a theory of property which satisfies what Myhill called Frege’s principle, and we examine how much arithmetic we can develop by it. We concentrate the case of the set theory H with the compre…

数学の哲学関係のセッションに出席。

気温が高いが、湿度は低く、日陰では涼しい。起床は6時。発表練習をしてからバスで会場へ。 画像は夕暮れ。夕方発表をする。 発表終了後、休憩に一階に行くが、旦那が発表中のためヒマという女性（バークレーの数学教育法？の院生らしい）にファジイ集合論と…