3 ms·Well you can just put the nbg instead, which is finitely axiomatizableby bananaflag 1y agoWell you can just put the nbg instead, which is finitely axiomatizable