A theory of sets with the negation of the axiom of infinity