twitterで「不可識別者同一の原理」が話題に上ったが、tenapiさんからMycielskiがライプニッツの不可識別者同一の原理について、集合論的に扱っていることを知った。おそらくその後をついで、まとめた論文があったのでメモ。Ali Enayat, "Leibnizian models …