>>983
形式論理がどれほどのものやら