extra-metamathematical

[计] 附加元数学的