gomezz
Well-Known Member
The margin "proof" could have encapsulated the main steps of the modern formal proof leaving out a lot of the tricky detail that needed work to reach the rigour that is needed these days. The various fields employed in the formal proof are effectively different expressions of the same mathematical structures but which can make it easier to visualise and express the various detailed steps needed.