New foundation set theory