Đặt câu với từ "proof theory"

1. In proof theory, proofs and theorems are also mathematical objects.

Trong lý thuyết chứng minh, các chứng minh và định lý cũng là các đối tượng toán học.