演×繹定理演えき定理演繹定理えんえきていり<えん'えき>・てい'り5

Math.Deduktionstheorem