現在2021年11月26日18時23分である。(この投稿は、ほぼ4718文字)麻友「10日くらい、サボってたわね」私「いくつか、成果が挙がっていたんだ」麻友「例えば?」私「1階の述語論理で、形式的な自然数論を扱う場合と、集合論を扱う場合に…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。