案例分析题将下列命题符号化，并讨论它们的真值 每个自然数都有比它大的自然数。