LoqLog.com
定義
自然数
$1$, $2$, $3$, $\cdots$。