2019年5月7日のコメントペーパーより。レジュメは古典命題論理。
コメント：
がなぜ空集合を指す記号になったのですか。
回答：比較的新しい記号で、初出は1939年のブルバキ『数学原論』とのことです。考案したのはアンドレ・ヴェイユで、彼が言うには、ノルウェー語のアルファベットØからとったそうです。出典はEarliest Uses of Symbols of Set Theory and Logic です。
数字のゼロが念頭にあったのはまちがいないと思いますが、詳しい経緯についてはわかりません。ちなみに では空集合は\emptyset, ノルウェー語のØは\Oとタイプしますので別記号です。
