Visualitzant Stahl, Gerold per matèria "Lògica matemàtica"