Trabalho de fundamentos da matemática