やっぱ同じ話になってるよな。形式論理に示せない論理って何かね。