Огромную часть знания оставляют неявным просто потому, что расходы на формализацию резко затормозили бы развитие знания. Поэтому и возниклы научные школы, где учат по принципу "делай как я". Если бы Эвклид занялся формализацией постулатов, геометрии не было бы до сих пор.
