神は存在する。それが証拠に数学には矛盾がない。悪魔も存在する。それが証拠に我々は数学の無矛盾生を証明できない *タイトル画像は六本木ヒルズからの夜景。。。。