Fúhàotǐxìyóuyīxìlièfúhàohétāmezǔhéguīzégòuchéngdejíhétǐ.Tāchángbèiyòngláidàitìzìrányǔyánduìmǒuxiēzhīshìtǐxìjìnxíngmiáoshù,fēnxīhéyánjiū.Shǐyòngfúhàotǐxìláiyánjiūshùxuénéngshǐluójífēnxīhétuīdǎogèngjiāyángéhéqīngxī,bìngnéngbìmiǎnzìrányǔyánzhōngdeyīyǔduōyìxiànxiàng.
符号体系
由一系列符号和它们的组合规则构成的集合体。它常被用来代替自然语言对某些知识体系进行描述、分析和研究。使用符号体系来研究数学能使逻辑分析和推导更加严格和清晰,并能避免自然语言中的一语多义现象。
Symbology
,anonmorestrictandclear,andcanavoidpolysemyinnaturallanguage.
記号論
一連のシンボルとその組み合わせルールで構成されるコレクション。自然言語ではなく、特定の知識システムを記述、分析、研究するためによく使用されます。記号学を使用して数学を研究すると、論理分析と導出がより厳密かつ明確になり、自然言語での多義性を回避できます。
Kigō-ronichirennoshinborutosonokumiawaserūrudekō,tokuteinochishikishisutemuokijutsu,bunseki,kenkyūsurutameniyokushiyōō-gakuoshiyōshitesūgakuokenkyūsuruto,ronribunsekitodōshutsugayorigenmitsukatsumeikakuninari,shizengengodenotagiseiokaihidekimasu.