否定的な述語を使って論理的に肯定するという［無限的な］判断