Cá nhân tôi nghĩ rằng, khởi đầu của Số Học có lẽ là từ sự nhận thức của con người về tập hợp số tự nhiên $\mathbb N$, về bản năng thì điều này rất.. tự nhiên do nhu cầu đếm. Tuy nhiên, đưa ra một định nghĩa đàng hoàng về $\mathbb N$ là một điều khó khăn. Ở đây, chúng ta sẽ xây dựng $\mathbb N$ dựa trên hệ tiên đề Peano, như sau đây.
Hệ tiên đề Peano cho tập số tự nhiên. Chúng ta thừa nhận sự tồn tại của tập hợp các số tự nhiên $\mathbb N$, mà trên đó xác định một quan hệ gọi là “liền sau”, thỏa mãn cả bốn tiên đề dưới đây. Read the rest of this entry »
Phản Hồi