1. 在 github 的 settings -> Developer settings ->
皮亚诺公理旨在用数学语言定义自然数。公理如下:
0 是自然数。
每一个确定的自然数a, 都有后继a'
0. 修复 bug
访问 https://waterlaw.cn/articles/1 出现 500 号错误
最近阿里云官方出了个活动,推出几款优惠服务器,一年只要 330, 两年 660, 三年 800 多。要不要考
心智的活动, 除了尽力生产各种简单的认识之外,主要表现在如下三个方面:
1)
将若干简单的认识组合为一个复合