They are widely regarded as showing that PERSON@1 's program to find a complete and consistent set of axioms for all of mathematics is impossible , thus giving a negative answer to PERSON@1 's second problem .

Most people think they show that PERSON@1 's program to find a complete and consistent set of axioms for all of mathematics is impossible .
