06/11/19 17:51:05 BE:437607247-2BP(0)
では、>>83は何を誤解しているか。
普通に受け取るならば、A氏の主張は、
公理⇔（A⇒B）
という命題「A⇒B」は正当と認めるけど、
公理⇒（A⇒B）
かつ
「((A⇒B)⇒公理)が成り立たない」
という命題「A⇒B」は正当と認めない、ということだ。
>>83は、その主張を勘違いして、
そもそも「A⇒B」という形の命題は正当と認めない
と思ってしまっているから、
『「あ⇒い」が片向きの矢印であって、「あ⇔い」でないこと』なんかを気にしていたのだと思う。