A Set of Postulates for the Foundation of Logic