있음. PA라고.
페아노 공리계가 아니라 페아노 산술이라고 하지.
도메인은 그냥 자연수만 있고, S 덧셈 곱셈이 primitive고.


아 물론 PA는 1차논리라서 귀납법이 좀 그지같고, 괴델크리로 비표준 모형 같은거 나오고 그러는데, 그건 사실 ZFC도 똑같지 뭐