0012132人目の素数さん垢版 | 大砲2018/05/18(金) 06:11:38.40ID:/rLFIGkz この話、よくわからないのだけど 例えばその背理法不要先生による 「√2は無理数である」 の証明はどういう形式をとるの?