Ontologie nadace
V informatice žargon, ontologie nadace nebo horní ontologie je hierarchie entit a spojený rozhodne, že to pokouší se popisovat ty entity generála, které nepatří ke specifické problémové doméně. Vidět ontologie (informatika) pro detailnější popis a příklady.V filozofii matematiky, ontologie nadace je ontologie ve formálním filozofickém smyslu to je považováno hrát roli v založeních matematiky. Nejvíce pozoruhodně, role hrála Platovou ontologií v některých teoriích realismu v matematice. Hilary Putnam dělal rozdíl v 1975, argumentovat, že jeden mohl věřit ve filozofii realisty matematických základů bez také přijímat Platovu ontologii nebo jeho posvátnou geometrii, tak označí “Platonist” a “realista” byl nebýt myslel si ekvivalent.
Toto je projednáno ještě více v článku o založeních matematiky.