>>367
ペアノの公理系とペアノ算術って、普通は区別するでしょ？
公理系は集合前提。算術は１階の述語論理上の理論で、集合無しの話し。