Up to
二階述語論理によって定式化することで、ペアノシステムを同型の違いを除いて一意に定めることができる。