個人的メモ、くるるの数学ノート経由。Randall Holmes氏@ボイジー州立大の作成、ページはこちら。NFはQuine大先生考案の外延性公理とstratified formulaeに関する包括原理のみを持つ古典論理上の集合論。有名だけど研究者は少ない（現在世界で一桁のみ、とい…

起床は8時、朝は晴れているが寒い。午前は原稿書きの続きと文献検索。ST氏のコメントをもらい、あわててKrivineを読み直す。午後になると風が強くなる。飛び込みの雑用と原稿の続き。本格的に風邪を引いたらしく、気持ち悪い。 帰宅は19時。Cと二人そろって…