Κάντε κλικ στον σύνδεσμο What is a Natural Proof? (AMS) για να ανοίξετε τον πόρο.