An extension of the simple theory of types, the ramified theory introduces levels to distinguish objects and functions by order,…
Indefinite extensibility describes collections, like the set of all sets, that cannot be fully listed. Any enumeration attempt can always…
An impredicative definition defines an object in terms of a totality to which the object itself belongs. This can lead…
The comprehension schema is a fundamental principle in set theory and logic. It allows for the construction of sets by…
Frege's Basic Law V aimed to ground arithmetic in logic. It states that the extension of a concept is defined…
The bad company objection challenges mathematical abstractionism by highlighting the difficulty in separating valid from invalid abstractions, especially concerning Frege's…