1. zvýraznění, přibývání formálních znaků;$2. využití *metod *matematiky*logiky při vytváření nějaké *teorie, při formulaci teorie vědních disciplín apod. (Jaroslav Malina)