2006-12-24 ついでに misc Google が教えてくれたこと。 すべての集合から成る集合が時々ある。 選択公理から排中律が出る。 チューリング完全な言語なら Quine が書ける。 RGB というアルバムがある。