Robuta

https://us.metamath.org/nfeuni/sbcieg.html sbcieg - New Foundations Explorer new foundationsexplorer