Indefinite Extensibility
Indefinite extensibility describes collections, like the set of all sets, that cannot…
Impredicative Definitions in Mathematics and Logic
An impredicative definition defines an object in terms of a totality to…
Comprehension Schema in Set Theory and Logic
The comprehension schema is a fundamental principle in set theory and logic.…
Frege’s Basic Law V and the Foundations of Arithmetic
Frege's Basic Law V aimed to ground arithmetic in logic. It states…
Bad Company Objection
The bad company objection challenges mathematical abstractionism by highlighting the difficulty in…