大学学部レベル質問スレ 14単位目

[0302 １３２人目の素数さん 2020/09/01(火) 16:27:14.38 ID:avnwFqkU]

>>297
>松坂の代数系入門の326ページからはペアノの公理をスタート地点としての厳密な定義興味有るのはZF内での自然数全体Nの定義
ここに書かれてる厳密性っていうのは
ZF内で自然数を厳密に定義したのを「全部集めて」っていうのではないんですよね？