Logicmedium
0:00.0

What is the truth value of (xZ+)(x+1>x)(\forall x \in \mathbb{Z}^+)(x + 1 > x)?