On a system of axioms which has no recursively enumerable arithmetic model