axiomatic foundations of mathematics

GPTKB entity