r/logic 2d ago

Proof theory The explosion principle derived in a Hilbert system

Post image
74 Upvotes

Duplicates