При попытке охарактеризовать разницу между формалистами и интуиционистами на семинаре по философии математики было сказано, что для интуициониста математические истины ТАМ, а для формалиста — ТУТ. В более известной фразе схожим образом характеризуются другие две категории людей. Мы не просим сказать, что мы заменили на ТАМ и ТУТ. Назовите эти две категории.