He insisted on the existence of a conceptual realm within mathematics which transcends formal systems.
He insisted on ang pagkakaroon ng isang haka-haka kaharian sa loob ng matematika na transcends pormal na sistema.