افلاطونیسم تمام عیار، نوعی تغییر مدرن از افلاطونیسم است که در واکنش به این واقعیت است که مجموعه های مختلفی از موجودات ریاضی را می توان بسته به اصول و قوانین استنباط به کار رفته (به عنوان مثال، قانون وسط مستثنی و اصل انتخاب) ثابت کرد.