Pātuhitia tēnei: Lógica matemática.