Biểu đồ nếu như các anh em axiom không tồn tại. (Không có cái nào trong cái này)