C
ompleteness
PermutationLemmas
Base
Formula
Sequents
Tree
Completeness
Soundness