論理学をつくるを読み始めました - 数学愛好家のひとりごと

同僚と話をしていて、証明ってなんだ？と言う質問に、数学で言うところの証明とはと話が進んで、なぜか論理学の話になった。そこで、論理学をつくるという面白い本があることを思い出し、本棚から引っ張り出して読み始めました。

現在、第２章、シェーファーの杖のところです。

どの演算子の組が十全になるのだろうか、十全になる条件とはなんてことを疑問に持ちながら読み勧めています。