Extending a first order predicate calculus with partially defined iota terms

We extend the classical first order logic with partially defined iota terms in order to model the way partial functions are treated in common mathematical practice