表示名 is a user on mathtod.online. You can follow them or interact with them if you have an account anywhere in the fediverse. If you don't, you can sign up here.
表示名 @mathmathniconico

演習問題IV.5.2より

$ \Sigma_{1} $集合$ \Gamma $に対し、$ \Delta_{1} $集合$ \Omega $が存在して$ \mathrm{Conseq}(\Lambda)=\mathrm{Conseq}(\Omega) $を満たす。

$ \Lambda $を$ \phi_{0}, \phi_{1}, \dotsc $と計算可能な方法で並べ、$ \phi_{0}, \phi_{1}\wedge\phi_{1}, \phi_{2}\wedge\phi_{2}\wedge\phi_{2}, \dotsc $を考える。

天才かな?

· Web · 0 · 1