Mathematical reasoning may be regarded rather schematically as the exercise of a combination of two facilities, which we may call intuition and ingenuity.
"Systems of Logic Based on Ordinals". Proceedings of the London Mathematical Society, Series 2, Volume 45, 1939.
