Formalizzazioni del principio di libera costruzione