2.23 Système de preuves