>

extra-metamathematics

📖 中文释义

  1. [计] 附加元数学