Wells's result implies that type inference for System F is impossible.
Το αποτέλεσμα του Wells υπονοεί ότι η εξαγωγή τύπων για το Σύστημα F είναι αδύνατη.