Pātuhitia tēnei: The elements of mathematical semantics