Up
7.0 イントロ
本節では，自然数論が理論
T
＝(
G
,
G
,
U
,
U
)
として解釈可能であることを示す。