基礎論に詳しい方からお答えいただければ幸いです。ZF に於いて、正則性公理が他の公理から証明できないことの、有限の立場での証明の載っている文献を紹介してください。よろしくお願いいたします。