Carnap's own work on λ-continuum showed that different formalization choices yield incompatible indu...
This proposition has not been edited since the history system was added.