Simplistic Formalization of ZFC in Isabelle