first order arithmetic

GPTKB entity