User blog comment:Vel!/Second-order arithmetic/@comment-25601061-20150922232849/@comment-1605058-20150923132445

This is so called.