>>868
「日本語」や「英語」は数学の概念ではありませんが、それでも集合論の公理を満たすかどうかチェック可能なのでしょうか？
また、仮にチェック可能だとして、自然数とは違い、集合論の公理系から非数学的な概念（数学で定義されていない概念、生物や言語や社会など）の存在は演繹できないのにも関わらず、それを数学の議論の対象にしてよいのでしょうか？