# Why is \$forall x in mathbb{N} Phi(x,x)\$ unary but \$Phi\$ is binary?

May anyone explain me why $$forall x in mathbb{N} Phi(x,x)$$ is unary but $$Phi$$ is binary?