User blog comment:PsiCubed2/Question: General breakdown of levels up to Second Order Arithmetic/@comment-30118230-20180204192313/@comment-1605058-20180205221719

@Boboris02 What is (K)?