Il Platonisim patoc al è une variazion moderne dal Platonisim, di rispueste al fat che a si pues provâ che tantis entitâts matematichis a esistin su la fonde di assiomis e di regulis inferenziâls (par esempli, la leç dal tertium non datur e l’assiome da sielte).