>>706
証明系、数式処理系が扱ってる。> 無限