意味関数の定義自体は人間の言葉で定義してるんだから
結局は人間の言葉で定義してることにならん？

>>146
意味関数で定義できるけどしてないだけの場合も。