Om nu uti ren mathematik , i logikoch