> is it possible to write proofs about proofs Yep, I took several metamathematics classes at UCLA! Mostly on proof theory, but also analyzing metamathematical

> is it possible to write proofs about proofs Yep, I took several metamathematics classes at UCLA! Mostly on proof theory, but also analyzing metamathematical results (like Godel's theorems, Henkin construction, and so on).