De igen, a definíció lehet körkörös.

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

http://en.wikipedia.org/wiki/Definition#Recursive_definitions

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

És az axiómában nincsen definíció. Az "(X -> Y) = X" felírásban az egyenlőségjel nem definíciót jelent, hanem egyenlőséget.