diff options
| author | Preston Pan <ret2pop@nullring.xyz> | 2026-03-09 18:51:40 -0700 |
|---|---|---|
| committer | Preston Pan <ret2pop@nullring.xyz> | 2026-03-09 18:51:40 -0700 |
| commit | 9776145fc444bea2729efe8ee104b41b0ffe3f38 (patch) | |
| tree | 6066c221c78a0e8535fab0a095b9e0b21131ef94 /mindmap/natural number.org | |
| parent | 1df08f1ebcc46e236f1351d48e92e723816ffdaf (diff) | |
add descriptions to everything; checkpoint
Diffstat (limited to 'mindmap/natural number.org')
| -rw-r--r-- | mindmap/natural number.org | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mindmap/natural number.org b/mindmap/natural number.org index 46d2450..8eadefb 100644 --- a/mindmap/natural number.org +++ b/mindmap/natural number.org @@ -3,7 +3,7 @@ :END: #+title: natural number #+author: Preston Pan - +#+description: How hard could counting be? * What is a Natural Number? We can formulate the natural numbers from set construction, or by Peano arithmetic. |