Inzien en bewijzen

4.6 De stelling aanname aftelbaar oneindig algoritme allebei Andrew Wiles axioma's axiomatische methode begrip behulp bewezen bewijs bijectie bijvoorbeeld Bolyai breuken aftelbaar Cantor cirkel codeert computer construeren deelverzameling desda disjunct driehoek één-op-ééncorrespondentie eigenschap elementen elk natuurlijk getal elkaar Euclides euclidische euclidische meetkunde Euler exacte wetenschap feit Fermat Figuur functie Gauss gebruiken gehele getallen geldt gelijk goed grootste gemene deler groter hebt Hilbert Hotel hoeken implicatie In)zien en bewijzen injectie inzicht kardinaliteit KD(n Klein-Beltrami-model kunt laten zien lijnstuk loodlijn lucifers op tafel machtsverzameling maken manier modeltheoretische natuurlijke getallen niet-euclidische meetkunde ofwel oneindige verzameling oneven onze Opdracht overaftelbaar plaatje positieve breuken precies priemfactoren priemgetallen proberen probleem punten zitten Recepten voor bewijsconstructie rechte lijn rechthoek Redeneren over oneindigheid reële getallen Riemann-meetkunde Saccheri snijden Stel Stelling 1.1 stelling van Cantor-Schröder-Bernstein surjectie tegenspraak universele bewering vijfde postulaat volgende volgt volledige inductie voorbeeld vorm wil zeggen wiskunde zijde zin geven zo'n