测试

道可道，非常道。名可名，非常名。

这是您的第一篇文章。从这里开始您的思想探索之旅。

写作说明

  1. 使用Markdoffffffff
  2. 支持数学公式和图表fff
  3. 自动部署到 https://yishizhidao.cn

快速开始

定义 0.1.1（空集记号）

∅:={}\varnothing := \{\}

定义 0.1.2（后继函数）
对于任意集合 xx，定义其后继为：

x+:=x∪xx^+ := x \cup {x}

定义 0.1.3（冯·诺依曼自然数）
递归定义：

0:=∅0 := \varnothing

1:=0+=∅1 := 0^+ = {\varnothing}

2:=1+=∅,∅2 := 1^+ = {\varnothing, {\varnothing}}

3:=2+=∅,∅,∅,∅3 := 2^+ = {\varnothing, {\varnothing}, {\varnothing, {\varnothing}}}

一般地：

n+1:=n+=n∪nn+1 := n^+ = n \cup {n}

新建文章

hexo new “文章标题”

本地预览

hexo server

部署到网站

./deploy-yishizhidao.ps1
欢迎加入这个开源的思想实验！