Aşağıdakilerden hangisi, Nagel'e göre indirgemenin biçimsel koşullarından biridir?
İndirgenen teorinin postulatlarında geçen her terim, indirgeyen teorinin postulatlarına birer gözlem terimi olarak aktarılmalıdır.
İndirgeyen teoriyi pekiştiren her gözlem önermesi, indirgenen teoriyi de pekiştirmelidir.
İndirgenen teorideki bütün teorik terimler, indirgeyen teoride gözlem terimine dönüştürülmelidir.
İndirgenen teorinin her postulatı, indirgeyen teorinin postulatlarından tümdengelimsel çıkarımla türetilebilmelidir.
İndirgeyen teori, indirgenen teoriye göre daha fazla gelişmiş olmalıdır.