数理論理学（数学基礎論）　その14

256 ：１３２人目の素数さん：2021/05/13(木) 13:31:28.06 ID:Us7LNNuJ.net

話がかみあわなさすぎてわらった.。まあ終わりにしましょう。
あなたは何らかの公理系における２つの公理の同値性を示したと主張した。
それが無謬であれば価値があることだと思いますよ。