>>33
評価は私の数学の素養が保障しています。
具体的には、
ここに書き込んでいるいわゆる数学の素人と私を比較した場合の
数学力の差が評価を保障します。
>>34
タイプ理論とは別のものですね。
区体は階層を必要としません。