How does the adjective free distinction with its synonyms? When you are chatting with folks that really don't price flexibility and group, you can demonstrate them the a lot of useful positive aspects of totally free software program (see Why Open Source / Free Software? Look at the Numbers! for some valuable proof). This is a absolutely free program license, not a robust copyleft, and incompatible with the GNU GPL.
Since in the metamathematics English is staying applied to the dialogue only of the symbols, sequences of symbols, and so on. of the item language, which constitutes a comparatively tangible subject matter make any difference, it should really be free in this context from the deficiency of clarity that was a single of the factors for formalizing.