数学的体系を用いて自然言語の解釈は行えない。数学的な言葉を用いて言うなれば、数学的体系において記述される言語と自然言語の"解釈"との間に全単射が存在しない。