>>950
知らんから教えて
Wikipedia見ても分からん

「初等的な自然数論を含む」って何?
「有限の立場」って何?

説明してね