> Would it be possible to create a proof of a proof? The sub-discipline of mathematics that deals with this is called "metamathematics". For a start see https:

> Would it be possible to create a proof of a proof? The sub-discipline of mathematics that deals with this is called "metamathematics". For a start see https://en.wikipedia.org/wiki/Metamathematics https://en.wikipedia.org/wiki/Metamathematics