---
title: Agda大序数(2-0) 第2卷目录
zhihu-tags: Agda, 序数, 大数数学
---

# Agda大序数(2-0) 第2卷目录

> 交流Q群: 893531731  
> 本文源码: [WellFormed.lagda.md](https://github.com/choukh/agda-veblen/blob/main/src/WellFormed.lagda.md)  
> 高亮渲染: [WellFormed.html](https://choukh.github.io/agda-veblen/WellFormed.html)  

[返回第1卷](https://choukh.github.io/agda-veblen/NonWellFormed.html)

```agda
{-# OPTIONS --without-K --safe #-}

module WellFormed where
```

```agda
open import WellFormed.Ordinal public
```

- 良构序数以及其上的序

[返回第1卷](https://choukh.github.io/agda-veblen/NonWellFormed.html)
