>>171
メタと対象は違う

二階論理は一階論理のある種の拡大になっているとでもいうのか?