B(x): «Натуральное число x делится на 4», можно составить предикат: «Если натуральное число x делится на 3, то оно делится и на 4». Источник: Интернет
Натуральное число представимо в виде суммы двух квадратов (целых чисел) тогда и только тогда, когда ни одно простое число вида не входит в его разложение на простые множители в нечётной степени. Источник: Интернет
Натуральное число изображается путём повторения одного и того же знака (чёрточки или точки). Источник: Интернет
natural number