Axioms for Arbitrary Object Theory
Published: Apr 28, 2025
Last Updated: Apr 28, 2025
Authors:Luca Steinkrauss, Leon Horsten
Abstract
We formulate and discuss a general axiomatic theory of arbitrary objects. This theory is expressed in a simple first-order language without modal operators, and it is governed by classical logic.