2019年5月7日のコメントペーパーより。レジュメは古典命題論理。 コメント：この授業のモデル論は集合論の考えを使ってモデルを構成していますが、集合論以外にも論理の基礎づけに使われているような体系があったりするのでしょうか。 回答：集合論は、数学…

2019年5月7日のコメントペーパーより。レジュメは古典命題論理。 コメント：モデルが存在するというのは、論理的に考えて矛盾しないようなモデルを思いつけば存在していると言っていいのですか。モデルが存在するというのはどういうことなのでしょうか。 回…

2019年5月7日のコメントペーパーより。レジュメは古典命題論理。 コメント： がなぜ空集合を指す記号になったのですか。 回答：比較的新しい記号で、初出は1939年のブルバキ『数学原論』とのことです。考案したのはアンドレ・ヴェイユで、彼が言うには、ノル…