ɐkˈɛst pɾʊsˈes ˈɛs pˈot ðˈu ɐ tˈɛrmə midʑɐnsˈan kʊnfirmɐsjˈo pə ɐ ləs ipˈɔtəzis ʊniβərsˈals ʊ midʑɐnsˈan ʋəɾifikɐsjˈo pə ɐ ləs ipˈɔtəzis əɡzistənsjˈals.
Aquest procés es pot dur a terme mitjançant confirmació (per a les hipòtesis universals) o mitjançant verificació (per a les hipòtesis existencials).