Logical systems can be bootstrapped from simpler operational rules without foundationalism; formal v...
This proposition has not been edited since the history system was added.