BioWorks on logic, arithmetic, and conceptual questions at the foundations of mathematics.logicphilosophy of mathematics