English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Plus monthly

Global: Zendy Tools annual

Global: Zendy Tools monthly

Global: Zendy Free Plan

The construction of first-order logic and set theory gives rise to apparentcircularities of mutual dependence, making it unclear which can act as aself-contained starting point in the foundation of mathematics. In this paper,we carry out a metatheoretic and finitistic development of a first-orderlogical system in which we define formal set theory (ZFC). We contend that thetechniques employed in constructing this system offer a philosophically soundbasis for introducing ZFC and proceeding with the conventional formaldevelopment of mathematics. Lastly, by examining the chronology of theaforementioned construction, we attempt to answer the titular question.

Which came first, set theory or logic?