Mathematical objects defined by axioms (e.g., natural numbers) are paradigmatically functional, not ...
This proposition has not been edited since the history system was added.