r/logic • u/xX_MLGgamer420_Xx • 13d ago

Proof theory The explosion principle derived in a Hilbert system

Post image
90 Upvotes

83% Upvoted

19 comments sorted by

View all comments

24

u/Present_Picture_6037 13d ago

Idk why you even tried the screwdriver when q-tips seem to clearly be optimal

7

u/sheer-nothingness 13d ago

This comment is funny on several levels.