对 [定义] 项的集合 的有限语法树，大小 $\mathrm{size}\left(𝑡\right)$ 数节点，深度 $\mathrm{depth}\left(𝑡\right)$ 数从根到最远叶子的路径上的边。函数按 [定义] 直接子项与真子项 的直接子项递归定义。

$$\begin{array}{c}\mathrm{size}\left(\text{true }\right)=\mathrm{size}\left(\text{false }\right)=\mathrm{size}\left(0\right)=1\\ \mathrm{size}\left(\text{succ }{𝑡}_1\right)=\mathrm{size}\left(\text{pred }{𝑡}_1\right)=\mathrm{size}\left(\text{iszero }{𝑡}_1\right)=\mathrm{size}\left({𝑡}_1\right)+1\\ \mathrm{size}\left(\text{if }{𝑡}_1\text{ then }{𝑡}_2\text{ else }{𝑡}_3\right)=\mathrm{size}\left({𝑡}_1\right)+\mathrm{size}\left({𝑡}_2\right)+\mathrm{size}\left({𝑡}_3\right)+1\end{array}$$

深度数的是从根到最远叶子的路径上的边数，不是节点数。完整定义为：

$$\begin{array}{c}\mathrm{depth}\left(\text{true }\right)=\mathrm{depth}\left(\text{false }\right)=\mathrm{depth}\left(0\right)=0\\ \mathrm{depth}\left(\text{succ }{𝑡}_1\right)=\mathrm{depth}\left(\text{pred }{𝑡}_1\right)=\mathrm{depth}\left(\text{iszero }{𝑡}_1\right)=\mathrm{depth}\left({𝑡}_1\right)+1\\ \mathrm{depth}\left(\text{if }{𝑡}_1\text{ then }{𝑡}_2\text{ else }{𝑡}_3\right)=\max \left(\mathrm{depth}\left({𝑡}_1\right),\mathrm{depth}\left({𝑡}_2\right),\mathrm{depth}\left({𝑡}_3\right)\right)+1\end{array}$$

例如 $\text{pred }\left(\text{succ }0\right)$ 有三个节点、两条边，所以大小是 $3$，深度是 $2$。$\text{if }\text{ true }\text{ then }0\text{ else }\left(\text{succ }0\right)$ 的大小是 $5$，深度也是 $2$：大小把三个分支都算进去，深度只取最长的那条路。