集合論に基づいた言語を作りたい

[827 片山博文MZ ◆T6xkBnTXz7B0 2015/01/16(金) 22:32:01.39 ID:IPI8U3lP]

>>826
英語では、掛け算がmultiplicationで、自然数がnatural numbersだろ？
それを略すればmul,natになるだろ？
SearchAbout mul.
SearchAbout nat.
で検索できるから。