>>284
それは違うやろ

たぶん「命題x」と「xの証明全体から成る集合S(x)」、
「xならばy」と「写像S(x)→S(y)」を対応させる埋め込みを考えてるんだろうけど、
“矛盾を空集合に対応させていいのか”という問題がある

矛盾が証明できないという先見的な証拠はないし「真なる矛盾が存在する」という哲学的立場もある(真矛盾主義)