Fermat number
studied by Fermat in connection to the primality. The attachment of the predicate letter P ("is prime") to each number from the Fermat sequence gives a set of false closed formulae when the rank "n" of the Fermat number is greater than 4. Thus the closed formula ∀"n" "P"("F""n") is false.