Van egyszerűbb példa is. Hogyan lehet elsőrendű nyelven leírni, azt, hogy valami véges? Az eredeti Peano axiómarendszer nem elsőrendű.

http://en.wikipedia.org/wiki/Peano_axioms