L'actualité sur Système de logique déductive et inductive