User blog comment:Nayuta Ito/An attempt to well-define OCF as a number notation/@comment-32697988-20190428074647/@comment-25337554-20190501091504

psi_W_3(0)のCough inality はW_2で、psi_W_2(psi_W_3(0)[2])のCough inality はwなので、psi_W_3(0)[psi_W_2(psi_W_3(0)[2])]=psi_W_2(psi_W_3(0)[2])と展開されるのではないですか?

ところで、なぜ私たちは日本語を話しているのですか?