הגדרה: אקסיומה תהי אמירה שמתייחסת למספרים טבעיים. אם מתקיים בסיס האינדוקציה: תקפה עבור . צעד האינדוקציה: אם תקפה עבור איזשהו טבעי אז תקפה עבור . אז תקפה לכל טבעי. הערה: אם בסיס האינדוקציה מתקיים עבור אז תקפה לכל .