формальний

(у різн. знач.) formal

формальна логіка — formal logic