Title: Objective mathematics