《行政处罚法》第三十七条规定，行政机关在调查或进行检查时，执法人员不得少于两人，并应当向当事人或有关人员出示证件。这体现了形成程序法中的（ ）制度。