形式化された「形式化されたΣ₁完全性定理」