Елементи логіки, Детальна інформація

Аналогічно речення вигляду " При будь-якому значенні x і при будь-якому значенні y і при будь-якому значенні z істинно A(x, y, z)" можна позначити виразом

(x (y (z A(x, y, z).

І так далі. Розглянемо, наприклад, твердження великої теореми Ферма:

Рівняння zn=xn+yn, де n – ціле число, більше 2, не має розв'язків у цілих додатних числах.

Одним із можливих записів цього твердження є такий:

(x (y (z (n ((n>2) ( (zn(xn+yn)).