No More Learning

Q: In fact, in mathematics, metalanguage is the lan- guage through which           is formalized.