Distinguishing non-standard natural numbers in a set theory within Lukasiewicz logic