This is clearly true; it just asserts that every natural number has a square.
这明显是真的；它只是断言了所有自然数都有一个平方。