整数の定義を、グロタンディック構成で定義すりゃいいだろう？

整数の定義をせずに、議論するから意味不明になる。