Modern Education on Knowledge Axiomatization