Argumenty z niezbędności zastosowane w ontologii – dziale filozofii zajmującym się tym, co istnieje – są przykładem Quine’owskiej strategii ustalania istnienia kontrowersyjnych bytów, których nie da się badać bezpośrednio. Zgodnie z tą strategią niezbędność owych bytów dla sformułowania teorii innych, mniej kontrowersyjnych bytów stanowi świadectwo ich istnienia. W przypadku filozofii matematyki niezbędność bytów matematycznych dla formułowania teorii naukowych uznaje się za świadectwo istnienia tych bytów matematycznych.
Zarys argumentu przedstawia ten argument w w następującej postaci:
Powinniśmy przyjmować zobowiązanie ontologiczne wobec wszystkich i tylko tych bytów, które są niezbędne dla naszych najlepszych teorii naukowych. Byty matematyczne są niezbędne dla naszych najlepszych teorii naukowych. Zatem powinniśmy przyjmować zobowiązanie ontologiczne wobec bytów matematycznych.