煤矿应当依法取得（）证、（）证、（）证和（）执照。煤矿矿长须经培训考核，依法取得（）证书证和（）证。