"Math is beyond human invention or formalization."