Matemática finita: Fundamentación sin pseudoinfinitos