Pātuhitia tēnei: Máquinas de turing para consistentes: