これまでに出た解答をまとめると次の通り。
これらが正しいかどうかは知らない、出題者の>>250に判断して貰いたい。

課題１
実際に外延的に特殊。例：標数０の代数閉体の理論

課題４
ある。例：ACA_0

課題５
ある。例：true arithmetic

課題２と３は未解決。