Comment Comment by amavect For example? And does "first-order arithmetic" mean ZFC? parent amavect 2 months ago
