Този подход превъзхожда известния метод на пълното изчерпване, чиято същност накратко се свежда до следното: записват се аксиомите, формират се комбинации от по 2,3, и т.н. аксиоми, получават се нови изводи...