Gödel blocked the path to axiomatic derivation of a full consistent body of mathematics as far as I understand. Mathematicians and AI are not working in these constraints but rather with these constraints.