u/RatoCrakudo

Eu já estou estudando a teoria ingênua de conjuntos, ja vi basicamente todo o (cap 1 do livro do elon grosso), e já estudei um pouco de lógica proposicional (pelo livro do farjado da edusp), mas queria saber se estes conteúdo são suficiente, na parte conjuntista, para materias como: teoria de grupos, aneis e corpos, alegebra comutativa, etc. ou eu vou precisar estudar a teoria dos conjuntos de maneira mais formal (axiomática)?

O problema é que eu não consigo entender lógica de 1 ordem, estava estudando pelo livro do farjado de lógica e é insano, ele fica falando sobre uma tal de linguagem L, chega num ponto onde ele prova até teoremas sobre olcutar os parênteses das fórmulas e depois de varias paginas de logica pura ele finalmente formaliza a ZF/ZFC, eu tenho sensação que os matemáticos que precisam da ZFC/ZF nao vao por este caminho, pois leva muito tempo.

No dmat da UFPR "não existe" (os professores não pegam a cadeira faz uns 4 anos) a matéria teoria de conjuntos (axiomática), PELO VISTO os estudantes só aprendem a teoria ingênua de conjuntos e ela funciona para todas as disciplinas, como topologia geral e as disciplinas de álgebra da graduação.

E por fim mais uma dúvida, essa situação muda no mestrado? Os alunos precisam estudar ZFC ou ZF axiomática para algebra comutativa/não comutativa?

obs: quando me refiro a algebra comutativa me refiro a isto https://impa.br/ensino/programas-de-formacao/doutorado/disciplinas-doutorado/algebra-comutativa/ e também ao famoso livro "algebra comutativa em 4 movimentos "