質問なんですが、ZF公理系というのは大学の授業で習いますか？

某数学科卒の知り合いが、「そんなもん聞いたことねー」と言っていたのですが。