【悲報】高木式数学、「あるnに対して命題P(n)が成立する」と「命題P(n)を満たすnが存在する」は違う