y. 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.
y. @waidotto

mathtod.online/@genkuroki/5865

確かに,よく考えれば線形代数の基底の延長定理と同じことをやっているだけですね.
モデル理論を紹介するにあたり簡単な応用例を考えているのですが,難しいですね.(モデル理論的な別証明を与えている,と前向きに考えることはできますが.)

· Web · 0 · 0