Inverse relations

[ .. ] → kbdef:hasDerivative → Begründung der Mengenlehre unabhängig vom logischen Satz vom ausgeschlossenen Dritten / L.E.J. Brouwer