Mantıkçıların derin ve anlamlı olduğunu iddia ettikleri bilmece depolarının içinde bir de Berberin Problemi vardır: bir köyde herkes kendi kendine traş olanlarla berberde traş olanlar olarak ikiye ayrılabilir. Peki bu durumda berberin kategorisi hangisi olacaktır? Berber kendi kendine traş olanlardan mı yoksa berberde traş olanlardan mı sayılmalıdır?