A content ERROR was logged by "Marcel Schütz" at the following url:
https://courses.voll-ki.fau.de/course-view/lbs?slideNum=1&viewMode=SLIDE_MODE&audioOnly=false§ionId=b3e40fa3
Should be "a" instead of "an"
an formal system