 A straightforward formalization of this sentence—on the foreground of the domain of numbers—is the formula in (#2), (where ‘\(Nx\)’ stands for “\(x\) is a natural number,” ‘\(Px\)’ stands for “\(x\) is a prime” and ‘\(Gxy\)’ is to be read as “\(x\) is greater that \(y\)”).