RelBib: Grim's arguments against omniscience and indefinite extensibility https://relbib.de/Record/1631103474/Details