төгсгөлгүйн асуудлыг оновчтой хэрэгслээр судалдаг математикийн онол