Một bằng chứng bằng cảm ứng được thể hiện bằng việc thực hiện các tiên đề của cảm ứng. Nguyên lý của cảm ứng được giới thiệu vô cùng trong cùng một cách mà nó được giới thiệu trong việc xây dựng các số tự nhiên:
0 là một tự nhiên
S ix là một tự nhiên, S. x là một tự nhiên
đang được dịch, vui lòng đợi..
