From 1df08f1ebcc46e236f1351d48e92e723816ffdaf Mon Sep 17 00:00:00 2001 From: Preston Pan Date: Sun, 8 Mar 2026 23:41:51 -0700 Subject: mass remove headers and centralise it --- mindmap/natural number.org | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) (limited to 'mindmap/natural number.org') diff --git a/mindmap/natural number.org b/mindmap/natural number.org index 8b3f31a..46d2450 100644 --- a/mindmap/natural number.org +++ b/mindmap/natural number.org @@ -3,9 +3,7 @@ :END: #+title: natural number #+author: Preston Pan -#+html_head: -#+html_head: -#+html_head: + * What is a Natural Number? We can formulate the natural numbers from set construction, or by Peano arithmetic. -- cgit v1.3