>>87
それは形式化された数学についてのもんで論理全般についてのもんではない