Daftar by prooftheory