metaproof

[ریاضیات] فوق دلیل، متا دلیل