Proceeding in the theory with extensionality, comprehension for classes, existence of the empty set and the assumption the addition of one element to a set makes again a set we show a week assumption which guarantees existence of a saturated elementary extension of the system of hereditarily finite sets.