Proof of “√2 is irrational” using only logical formulasus.metamath.org2 points·hacker42··0 commentsOpen articleSaveView on HN