こちらの復習編。 同一性の除去公理 わたくし的に気になったのは、プリンキピアでは性質に量化しているがITTではそれができないという点で、集合族を で束縛することもできるのに何故だろうと思った。しかしITTはどうも高階論理に対応するものではないので、…