Finitary Arithmetic
Finitary arithmetic is a mathematical approach that emphasizes constructive methods, avoiding infinite…
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…