Foundational Aspects of "Non" Standard Mathematics