RelBib: Set-theoretical axiomatics with Skala's comprehension concept https://relbib.de/Record/1816074454/Details