🚨Open Theorems Alarm #06
0x0006 :: Irrationalität von sqrt 2

~∃ p,q∈ℕ，p²=2q²

Vorgeschlagene Schwierigkeit: Mittel
Belohnung: 100 $CTK

Wir laden dich ein, deinen Beweis einzureichen oder finanzielle Beiträge zu leisten.
Überprüfe die Wahrheit on-chain: https://openmath.shentu.org/OpenMath/Theorems/3?from=open

#OpenMath #OpenTheorems