>>285
直観主義論理が気に入らないなら古典論理でええやん

そんなことより君の証明によって√2が代数的無理数でないことが示せてしまうことは理解できたの？