19/10/22 11:33:10.48 nYvyjN1O.net
あ、∃！の位置間違えたけどわかるよね？
あとtの束縛忘れてるけどわかるよね？
要は{0,1,2,‥n-1} または ω 全体を定義域とする関数。
"関数である" の論理式に定義域を限定するための論理式を追加してるだけ。
19/10/22 11:33:10.48 nYvyjN1O.net
あ、∃！の位置間違えたけどわかるよね？
あとtの束縛忘れてるけどわかるよね？
要は{0,1,2,‥n-1} または ω 全体を定義域とする関数。
"関数である" の論理式に定義域を限定するための論理式を追加してるだけ。