Russell paradoksu (Bir paradokslar kümesinin kendisini içermesi durumu) gibi yapılar, biçimsel mantık sistemlerinin temellerini sarsmıştır. Kendini başvuran ifadelerin neden mantıksal tutarsızlığa yol açtığını açıklayın. Bu tür paradoksları önlemek için önerilen tip teorisi (type theory) veya hiyerarşik yaklaşımların teorik avantajlarını ve sınırlamalarını tartışın.