「全く新しいフレームワークと言語・概念体系を基盤として構築」されたものが、
既存の数学に適用できる保証はどこにもない