形式化されたΣ₁完全性定理から導出可能性条件D3を導く