Platon nasıl ki duyusal dünyanın çokluğundan bir soyutlama yaparak idealar Kuramı'nı üretmiş ve birincideki her çokluğa soyut bir tümel tekabül ettirmişse, burada soyutlamayı daha ileri götürerek her idea içinde de Sınırsız olan, Büyük ve Küçük olan, Belirsiz İki vb. gibi değişik adlarla andığı bir ilke ile ona birlik veren, birliğe kavuşturan başka bir ilkenin, Bir olan, Sınır, Eşit olan vb. gibi yine değişik adlarla andığı formel bir öğenin varlığını kabul etmiştir.