0289132人目の素数さん垢版 | 大砲2020/02/12(水) 19:17:23.31ID:EysH9QKZ >>284 それは違うやろ たぶん「命題x」と「xの証明全体から成る集合S(x)」、 「xならばy」と「写像S(x)→S(y)」を対応させる埋め込みを考えてるんだろうけど、 “矛盾を空集合に対応させていいのか”という問題がある 矛盾が証明できないという先見的な証拠はないし「真なる矛盾が存在する」という哲学的立場もある(真矛盾主義)