Temel Yasa V’in özel bir durumu yüklemlere ve yüklemlerin kaplamlarına uygulanabilir. Frege, bu yasayı mantıksal ve aşikâr kabul etmiş ve bu yasadan Hume’un eşsayılılık ilkesinin ve Peano’nun aritmetiksel aksiyomlarının türetilebileceğini göstermeye çalışmıştır. Temel Yasa V’ten aritmetiğin aksiyomlarının türetilmesi bugün Frege’nin Teoremi olarak anılmaktadır.