andinterpretationofmodelsinarigorousandprecisemathematicalmanner.The use of formal