こちらの復習編。 選択公理について ACとAC'という二つの形の選択公理が出てきた。これらの同値性は新井先生の本で証明されているが、 ITTにおいても同値になるのかどうかはまだ調べていないのでわからない… 基幹講座 数学 集合・論理と位相 作者:新井 敏康 …

メイク・ビリーブだ！ フィクションとは何か―ごっこ遊びと芸術― 作者:ケンダル・ウォルトン 名古屋大学出版会 Amazon 第8章のテーマは「描出体（depiction）」である。絵画を中心とした視覚的な表象体のことだが、しかし本書ならではの特徴づけで言語的な表…