[lisper]

> What is five-ness really?

It is everything that has some relation to something that has that same relation to something that has that same relation to something that has that same relation to something that has that same relation to some unique thing that does NOT have that same relation to anything.

[function_seven]

Is this the spoken form of a Church Numeral or something?

[lisper]

Yes. Exactly. (You could also see it as a rendering of some of the Peano axioms.)

[BBC-vs-neolibs]

Username checks out. :)