A Gentzen-style axiomatization for basic predicate calculus