Үүнийг мессежээр илгээх: The ramified analytic hierarchy in second-order logic