information about Proof theory field