2
Tür teorisinde sonlu kümeler teorisinin resmileştirilmesi
Çoğu kanıt asistanı "sonlu küme" kavramının resmileştirilmesine sahiptir. Bununla birlikte, bu resmileştirmeler çılgınca farklıdır (her biri esasen eşdeğer olmasını umuyor olsa da!). Bu noktada anlamadığım şey, ilgili tasarım alanı ve her bir formalizasyonun artıları ve eksileri. Özellikle, aşağıdakileri anlamak istiyorum: Basit tip teorisinde sonlu kümeleri (sonlu sayıda nüfusun yaşadığı tipler) …