現在2023年12月8日15時06分である。（この投稿は、他の投稿を引用しているので、文字数は分かりません） 古典論理の他に、直観主義論理というものを知り、その入口まで行き、数学をふたつ持って、見方が広がった話の連載。 ・ を確認する方法を持っている271…