I read a tweet recently that seemed to summarize Kant as having done something similar for knowledge, and I immediately thought of Godel's incompleteness theorem. Obviously I don't claim to fully understand full threads of their works, but found the connection interesting (and Kant finally accessible perhaps)

https://philosophy.stackexchange.com/questions/31633/was-kan...

https://www.cairn.info/revue-internationale-de-philosophie-2...