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

998 ：１３２人目の素数さん：2022/04/28(木) 21:38:54.46 ID:37/SqDmQ.net

>>992
>もちろん直観主義理論に対してブール代数モデルをアプライしても構わない
ええっと
ブール代数はハイティング代数ですよ？