Израз, чија формулација садржи природан број, је истинит за сваки природан број, ако:
1)    тврђењеје тачно,
2)    за свакоу скупуимпликацијаје тачна.