Non Standard Regular Finite Set Theory