From 9776145fc444bea2729efe8ee104b41b0ffe3f38 Mon Sep 17 00:00:00 2001 From: Preston Pan Date: Mon, 9 Mar 2026 18:51:40 -0700 Subject: add descriptions to everything; checkpoint --- mindmap/natural number.org | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'mindmap/natural number.org') 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. -- cgit v1.3