User blog comment:PsiCubed2/Question: General breakdown of levels up to Second Order Arithmetic/@comment-80.98.179.160-20180208163237/@comment-1605058-20180208190516

What are "oracle axioms"?