•  
  •  
  •  
  •  
  •  
  •  
  •  
  •  
  •  
  •  
+
돌아가기

페아노 산술 (비교)

r1 ➤ r2
2수학에서, 페아노 산술(Peano arithmetic)이란 [[자연수]] 체계를 묘사하는 1차 이론이다. 이론 전산학(theoretical computer science)에서 프로그램의 정당성 증명이나 계산 가능성 이론(computability theory)과 같은 분야에서 활용된다.