Inverse relations

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