He held that there is a strong parallelism between plausible theories of mathematical objects and concepts on the one hand.

In his view, we have compelling intrinsic evidence for the truth of these axioms

Do not exist in space and time.

It is not at all obvious how we could express them without using mathematical vocabulary. This line of argumentation is called ___.

In his philosophy, the natural sciences are the ultimate arbiters concerning mathematical existence and mathematical truth.

He objects the philosophy of Quine, that this picture makes the obviousness of elementary mathematics somewhat mysterious.

The maxim is instigation for set theory to provide a single system in which all mathematical objects and structures of mathematics can be instantiated or modeled.

The maxim means that set theory should adopt set theoretic principles that are as powerful and mathematically fruitful as possible.