If we accepted logic to be inherent, then definitions in mathematics are invented and theorems are discovered.