second order arithmetic

GPTKB entity