Repository URL:
F.A. Muller
artifact description
Critique of set-theory as a founding theory of category-theory. Proposal of a theory of sets and classes as an adequate founding theory of mathematics and by implication of category-theory. This theory is a slight extension of Ackermann's theory of 1956.

This artifact has 0 Wikipedia mention.