>>253
全単射は集合論における概念
不完全性定理の実際の証明は、そのような写像を構成することなく文字列の有限的操作だけで完結している