લોજિક તરીકે ઓળખાતા ગાણિતિક તંત્રને ઔપચારિક