Un Développement Des Systèmes Logiques de Stanislaw Lesniewski