Title: Proofs and fundamentals
Subjects: Set theory, Proof theory, Mathematics, Algebra, Combinatorics, Symbolic and mathematical Logic, Mathematical Logic and Foundations