>>140と>>51は食い違っているように見えるが?
スレタイ人君は「数理論理学」単独表記案は取り下げたの?