Suite du résumé de ma thèse, fraîchement soutenue: partie III, épistémologie formelle.