Pātuhitia tēnei: The mathematical foundation of informatics