Determinarea numerelor naturale n pentru care fiecare relație este adevărată este un concept foarte important în algebra și alte materii matematice. Acest concept poate fi folosit pentru a se demonstra anumite propoziții logice și pentru a se determina soluțiile ecuațiilor. Problema poate fi rezolvată prin mai multe metode, cum ar fi metoda substituției, metoda eliminării sau metoda căutării combinatorii.

În general, această procedură se referă la numerele naturale n și se face pentru a se determina acele valori ale lui n care o anumită relație devine adevărată. În cazul în care relația conține mai puțin de două variabile, această procedură este foarte simplă. Se poate începe prin a verifica pentru n=0, n=1, n=2, etc., și să vedem care dintre aceste valori rezultă în relația elaborată devenind adevărată.

Când relația conține două variabile, această procedură se poate face cu ajutorul eliminării sau a unor tehnici similare. În cazul eliminării, se variabilele respective se asociază unul cu celălalt (prin n) și se elimină numerele naturale care nu satisfac relația dată. Deci, numerele naturale relevate sunt acelea unde relația devine adevărată.

De asemenea, se poate folosi o abordare mai generalizată denumită căutare combinatorie. Această abordare generează toate combinațiile posibile de valori ale variabilelor, respectând anumite condiții. Intuitează care anume la valori creează relația adevărată și tabulează numerele naturale care conduc la această concluzie.

Același principiu se poate aplica și la alte situații, cum ar fi ecuațiile sau problemele de algoritm. Acest este un concept foarte important atunci când vine vorba de matematică și este frecvent folosit în foarte multe domenii.