MMLはタルスキー・グロタンディーク集合論の公理に基づいて構築される.
MML