>>413
図形・位取り記数法・多項式のような豊富さが論理構造には感じられない。