حساب ایوکلیدین که توسط جان پین میبیری در کتاب اش اساسات ریاضیات در تیوری ست ها همچنان در دسته واقع گرا ارسطویی قرار دارد.