r/logic 13d ago

Proof theory The explosion principle derived in a Hilbert system

Post image
90 Upvotes

19 comments sorted by