(2023-11-01)

• 범자연수 ? '범자연수' = whole number = 0을 포함한 자연수 ...라는 서술들이 보이는데 reliable src? (근데 애초에 whole number란 표현 자체가 모호하므로 적어도 영어 표현은 항상 성립되지 않는다. 일례로 whole_number찾아보니 정수,integer와 동의어로 서술해놓음. … etc.) 일단 2023년 현재로선 모호성,ambiguity을 없애기 위해선 nonnegative integer라고 하거나 0을 포함한다/안한다는 명시가 필수인 듯 함.
  
• counting_number counting number 란 표현도 자연수와 거의 동의어 같은데... 애초 자연수 개념 발생 자체가 셈,counting과 밀접하니?
  
  

( 자연수열 natural_number_sequence http://www.gabormelli.com/RKB/Natural_Number_Sequence ~= 자연수집합 natural_number_set ; set of natural numbers )의 원소,element가 자연수,natural_number

2024-02-15 tmp from https://youtu.be/PpSxqde0af4?si=rQ6swSfVqxU9ajqu&t=67

1. ∀x ￢(S(x)=0)
   
2. ∀x ∀y ( (S(x)=S(y)) → (x=y) )
   
3. ∀x (x+0=x) // additive_identity 덧셈,addition 항등원,identity_element
   
4. ∀x ∀y ( x+S(y) = S(x+y) )
   
5. ∀x (x0 = 0) // 영,zero 곱셈,multiplication
   
6. ∀x ∀y (x*S(y) = x*y+x)
   
7. [φ(0) ∧ ∀x( φ(x)→φ(S(x)) )] → ∀x φ(x)
   
   

￢ 부정,negation
∀ 전칭기호universal_quantifier
S 석세서,successor - successor_function
φ qqq

자연수 공리?? chk... via Giuseppe_Peano

예를들어
a+1