You would not believe your eyes
If mathematics can ever lie
in the countless axioms that exists
You know, Gödel once said
when you leave theorems everywhere
You'd think all of them would work in pairs