Instead, the statement could be rephrased more formally as For some natural number n, n·n = 25.
Натомість, судження може бути перефразоване формальніше як: Для деякого натурального числа n, n ⋅ n = 25 {\displaystyle n\cdot n=25} .