12/02/05 20:09:38.23
言語の大小なんて、公理の数を数えるのと同じでナンセンスだろ。
（二つの公理も連言で繋げば一つになるように）
ちょっとした小細工で本質的に変わらないのに大きくも小さくもできる。
12/02/05 20:09:38.23
言語の大小なんて、公理の数を数えるのと同じでナンセンスだろ。
（二つの公理も連言で繋げば一つになるように）
ちょっとした小細工で本質的に変わらないのに大きくも小さくもできる。
12/02/05 20:09:38.23
言語の大小なんて、公理の数を数えるのと同じでナンセンスだろ。
（二つの公理も連言で繋げば一つになるように）
ちょっとした小細工で本質的に変わらないのに大きくも小さくもできる。