Necesitistai laikosi nuostatos, kad objektai egzistuoja būtinai. Jie teigia, kad net jei Vitgenšteinas neturi vaikų, faktiškai egzistuoja objektas, kuris galėjo būti Vitgenšteino vaikas (pvz. Linsky & Zalta 1994, 1996; Williamson 1998, 2002, 2010, 2013). Tai reiškia, kad necesitizmo atstovai įsipareigoja teiginiui □∀x□∃y(x =y).
Formaliu požiūriu necesitizmo poziciją atitinka nekintamo domeno galimų pasaulių semantika, kurioje visas Kripkės modelis turi vieną domeną, taigi, intuityviai kiekviename galimame pasaulyje egzistuoja tie patys individai. Nekintamo domeno semantikoje ir Barcan schema, ir jos konversija yra tapačiai teisingos išraiškos, t. y. iš to, kad Vitgenšteinas galėjo turėti dvidešimt vaikų, galima išvesti, kad faktiškai egzistuoja dvidešimt objektų, kurie galėjo būti Vitgenšteino vaikai. Taip pat faktas, kad egzistuoja kažkas, kas galėtų neegzistuoti, numato, kad galėtų egzistuoti objektas, kuris neegzistuoja.
Necesitistai laikosi nuostatos, kad nėra tokio objekto, kuris galėtų neegzistuoti, todėl pastarosios implikacijos antecedentas visada klaidingas, o tai implikaciją paverčia visada teisinga. Necesitistinė pozicija prieštarauja sveiko proto nuostatai, kad dalis pasaulyje esančių objektų galėtų neegzistuoti. Pasak necesitistų, absoliučiai visi objektai egzistuoja būtinai, taigi, neįmanoma, kad koks nors konkretus medis ar žmogus būtų neegzistavęs. Tačiau esame linkę manyti, kad jei kiekvieno iš mūsų tėvai nebūtų susitikę, tai mes nebūtume egzistavę, o jei kažkurio medžio sėkla nebūtų įkritusi į žemę ir nebūtų susiklosčiusios tinkamos sąlygos, tai tas medis nebūtų užaugęs ir nebūtų egzistavęs.