>>381

それはやはり数理論理なんて必要がないということですよね?