From professional translators, enterprises, web pages and freely available translation repositories.
" such conditional statements are provable in zf when the original statements are provable from zf and the axiom of choice.
" dergelijke voorwaardelijke beweringen kunnen in zf worden bewezen, wanneer de oorspronkelijke beweringen bewijsbaar zijn vanuit zfc.
aside from the extremely dubious practical value of this “axiom”, it does not withstand theoretical criticism either.
los van de extreem twijfelachtige praktische waarde van dit ‘axioma’, weerstaat het evenmin aan een theoretische kritiek.
==properties==the set of natural numbers (whose existence is postulated by the axiom of infinity) is infinite.
== eigenschappen ==de verzameling van natuurlijke getallen (waarvan het bestaan wordt gewaarborgd door het axioma van oneindigheid) is oneindig.