Liste by prooftheory