Энэхүү ном 'Олонлогийн онолын логик үндэслэл', 'Эрэмбийн харьцаа, ординал ба кардинал тоо', 'Тогтоцууд' гэсэн гурван бүлэгтэй бөгөөд олонлогийн онолын аксиомууд, баталгааны аргууд, логикийн хуулиуд болон үндсэн тэмдэглэгээнүүдийн тайлбарыг багтаасан хавсралт хэсэгтэй.