レベル８

• 公理的集合論
• 環(予定)
• 多様体(予定)
• 代数トポロジー(予定)