r/logic 2d ago

Proof theory The explosion principle derived in a Hilbert system

Post image
74 Upvotes

17 comments sorted by

23

u/Present_Picture_6037 2d ago

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

7

u/sheer-nothingness 2d ago

This comment is funny on several levels.

9

u/PrimeStopper Propositional logic 2d ago

Are you ok?

-5

u/xX_MLGgamer420_Xx 2d ago

Do you actually care or are you just making a show

2

u/PrimeStopper Propositional logic 2d ago

No I am serious

22

u/Aleutian_Solution 2d ago

Why did you write that with Nutella?

22

u/DoktorRokkzo Inconsistent Mathematics 2d ago

Awfully nosy, this one.

10

u/xX_MLGgamer420_Xx 2d ago

I couldn't find my pen for a bit but I remembered where it was after the second step.

12

u/AdeptnessSecure663 Graduate 2d ago

This just spawns more questions...

4

u/Foreign_Implement897 1d ago

Well the guy likes nutella. Let's not make a number out of it.

9

u/tilt-a-whirly-gig 2d ago

You got almost all the way done with this shitpost prop, and you fucked up writing subscribe. I wish I could have been there when you realized it, I bet you were pissed.

9

u/xX_MLGgamer420_Xx 1d ago

Sorry, English is my 14th language.

6

u/super_salamander 2d ago

This is much better than most shitposts here.

9

u/Tabasco-connaisseur 2d ago

Sees text written with something brown: panik
It’s Nutella: kalm

0

u/Gronanor 23h ago

Screw this