大学学部レベル質問スレ 17単位目

979 ：１３２人目の素数さん：2022/04/28(木) 05:07:07.74 ID:/DbX+kFA.net

>>970
あんまり詳しくないんだけど、それ直観主義論理のモデルとして暗黙のうちに勝手に古典論理のモデルだけを考えてない？
「古典論理のモデルについてだけを考えている限り、全てのモデルで排中律が成立する」ってなこと言ってるように見えるんだけど