Глубокая древность завещала нам несколько знаменитых аргументов или 'апорий" Зенона Элейского, которые, будучи облечены подчас в чуждую математике форму, обнаруживали с достаточной ясностью серьезные трудности, лежащие в основе чисто математических понятий континуума и бесконечности. В течение целых столетий ученые скорее отмахивались от этих досадных парадоксов, чем старались их разрешить, и Гегель имел полное основание сказать, что зенонова диалектика материи доныне не опровергнута. Лишь в новое время учение о совокупностях, разработанное Г. Кантором, выяснило спорные понятия континуума и бесконечности и дало ключ к пониманию названных выше аргументов; вместе с тем оно показало, каким глубоким и проницательным мыслителем был древний философ, которого иные склонны были считать за самого обыкновенного софиста.
Мы начнем с выяснения основного положения Г. Кантора - о законности понятия об актуально-бесконечном.