skip to content
Alexandre Freiburghaus Mazuir

maths

φ∧¬φ\varphi\land\neg\varphi

ha

get contradictioned