3 ms·No, because System F cannot be used to express particularly interesting proofs.by carnitine 5y agoNo, because System F cannot be used to express particularly interesting proofs.