ゼロベースから構築された、科学や数学を記述するための適切な言語

を構築すること

これを実現するための課題は何か？

科学や数学をモデル化できていない

他の課題は何か？

次に何をすべきかわかっていない

四則なのか？違う気がする

論理と集合？

順序のある構造が先にあって、順序を取り除くことによって集合が構成できると思っている

ZFCはアドホック感が否めない

自然数

AとBが異なるとはどういうことか？

ユニークネームアサンプションがいいと思う

等しいという述語をあとから導入する

恒等写像という問題

道具を揃える段階とも言える