The ultra-intuitionistic criticism and the antitraditional program for foundations of mathematics