Why do you think Godel Incompleteness doesnt apply? By default mathematicians work in ZFC which is proven to be incomplete...