Relative consistency of a finite nonclassical theory incorporating ZF and category theory with ZF

Marcoen J. T. F. Cabbolet, Adrian R. D. Mathias

Recently, in Axioms 10(2): 119 (2021), a nonclassical first-order theory T of sets and functions has been introduced as the collection of axioms we have to accept if we want a foun…