second-order arithmetic

GPTKB entity