请给出谓词逻辑的研究对象,并将“任何整数的平方均非负”使用谓词符号化。