The Axioms of Nikolas

A curious set is the Set of the Numbers of Nikolas, N. Let us examine the properties of these numbers and their many use-full applications.

Properties:

1. ∀ x ∈ N. x = Nikôlas.

2. ∀ x, y ∈ N. x = y → x = Nikólas.

3. ∀ x, y, z ∈ N. (x = y) ^ (y = z) → x = Nikòlas.

Now let us define a function A(n), such that:

∀ x ∈ N. S(x) = Nikölas.

Now it is easy to prove many things. For instance, earlier this morning, a fellow, who shall remain anonymous, sent me a most intriguing communication, regarding his mis-adventures at the University. It seems that he, having been taken by some mad fancy, or a wrath most grotesque, conjectured a most rude affaire involving his instructor, and a fellow student, whom he described as being "from the Southern Continente[sic]". Now, using the set of Nikolas Numbers, we show that:

Nikolas → Pimp(Nikolas)

Nikolas = x, x = Nikolas(Pimp(Nikolas))

x = Pimp(x)

Therefore,

Pimp.