3 ms·If you're interested, there is Calculus of constructions that can express anything.by shikoba 5y agoIf you're interested, there is Calculus of constructions that can express anything.