Algorithm scala流的归纳证明

有人能帮我归纳一下这个scala代码吗

lazy val y : Stream[Int] = 1 #:: (y map (_ + 1))

---

从1开始生成一个自然数列表？

位于

1#位置的值：无论什么
都是1，所以我们知道
y（0）=1

在更大的位置上，我们有
y（n+1）=任意（n）
。这里
无论什么
都是
y映射（+1）
，所以
y（n+1）=（y映射（+1））（n）

我们想证明所有的n。y（n）=n+1

我们知道这对于
n=0
，
y（0）=1

（y.map（+1））（n）
只是
y（n）+1
。这就是地图的作用。所以我们上面的公式变成了
y（n+1）=y（n）+1

然后，如果我们知道
y（n）=n+1
，那么
y（n+1）=（n+1）+1
。下一个等级的结果为真。我们通过归纳法得到证明
 位于
1#：：无论什么
都是1，所以我们知道
y（0）=1

在更大的位置上，我们有
y（n+1）=任意（n）
。这里
无论什么
都是
y映射（+1）
，所以
y（n+1）=（y映射（+1））（n）

我们想证明所有的n。y（n）=n+1

我们知道这对于
n=0
，
y（0）=1

（y.map（+1））（n）
只是
y（n）+1
。这就是地图的作用。所以我们上面的公式变成了
y（n+1）=y（n）+1

然后，如果我们知道
y（n）=n+1
，那么
y（n+1）=（n+1）+1
。下一个等级的结果为真。我们通过归纳法得到证明
 位于
1#：：无论什么
都是1，所以我们知道
y（0）=1

在更大的位置上，我们有
y（n+1）=任意（n）
。这里
无论什么
都是
y映射（+1）
，所以
y（n+1）=（y映射（+1））（n）

我们想证明所有的n。y（n）=n+1

我们知道这对于
n=0
，
y（0）=1

（y.map（+1））（n）
只是
y（n）+1
。这就是地图的作用。所以我们上面的公式变成了
y（n+1）=y（n）+1

然后，如果我们知道
y（n）=n+1
，那么
y（n+1）=（n+1）+1
。下一个等级的结果为真。我们通过归纳法得到证明
 位于
1#：：无论什么
都是1，所以我们知道
y（0）=1

在更大的位置上，我们有
y（n+1）=任意（n）
。这里
无论什么
都是
y映射（+1）
，所以
y（n+1）=（y映射（+1））（n）

我们想证明所有的n。y（n）=n+1

我们知道这对于
n=0
，
y（0）=1

（y.map（+1））（n）
只是
y（n）+1
。这就是地图的作用。所以我们上面的公式变成了
y（n+1）=y（n）+1

然后，如果我们知道
y（n）=n+1
，那么
y（n+1）=（n+1）+1
。下一个等级的结果为真。我们通过归纳法得到证明
 谢谢！：）这很简单，哈哈。的确，这对归纳法没有多大用处。谢谢！：）这很简单，哈哈。的确，这对归纳法没有多大用处。谢谢！：）这很简单，哈哈。的确，这对归纳法没有多大用处。谢谢！：）那很简单，哈哈。的确，归纳法没有多大用处。