>>882
数理でない論理の話は哲学板でどうぞ