Wenn ich also den Satz „in diesem Feld sind 3 Kreise in der Form (∃x,y,z) φx[,|] φy ∙ φz schreibe so scheint es mir als müssten die x, y, z, Zahlentrippel sein von denen φ( ) sagt daß sie Mittelpunktscoordinaten & Radius eines Kreises seien.