有限性とか、クロスすればOKとかいってましたが、いろいろ、形式化をちゃんとやって精査すると、全然成り立たないことが判明。クロスしようが、だめになるケースがあります。だめにならないケースは、事例でしめすしかない(証明を展開できない)ていたらく…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。