Oni estas demandita pruvi la validecon de , kie (legata gamma) estas aro da formuloj disrompitaj per komoj, kaj estas simpla formulo.
Komencante, oni akceptos ĉiujn formulojn el kiel certaj, kaj, per 9 precizaj reguloj, eltrovos kiuj aliaj aĵoj estas ankaŭ certaj. Nia intenco estas trovi ke ja certas; do ĉi tio ĵus atingite, oni haltiĝos.
Iam estos trovebla neniun veraĵon, do oni supozados: ``nu, mi ne scias se ĉiam estas certa, sed se certas, tiam ĝi estas vera sendube''. Tiel oni ektrovis iun novan veraĵon: .
Kompreneble, oni ĉiam devas memori kion oni volas atingi, ĉar alie, oni divenus multajn veraĵojn kiuj ja estas veraj, sed estus tute malbezonataj por la nuna ekzerco. Ekzemple, por oni devas atingi la verecon de . Eble ni eltrovos ke , , , kaj tiel plu; sed ni nur bezonas , ne aliaj. Do, se vi devojiĝas de la simpla solvo, vi eble konfuziĝos.