2020-10-08から1日間の記事一覧
戸次大介『数理論理学』輪講後のコメントです。※内輪向けです。記号は私の好みのものに置き換えています。●p5練習問題1.16 ――最後の例は煩雑に見えますが、理論的背景のある集合です。\(X_0=\varnothing\)から初めて\[X_1=X_0\cup\{X_0\},\]\[X_2=X_1\cup\{X…
戸次大介『数理論理学』輪講後のコメントです。※内輪向けです。記号は私の好みのものに置き換えています。●p5練習問題1.16 ――最後の例は煩雑に見えますが、理論的背景のある集合です。\(X_0=\varnothing\)から初めて\[X_1=X_0\cup\{X_0\},\]\[X_2=X_1\cup\{X…