Wat bedoel je met 'huis- tuin en keukenlogica'? Want met tweede orde logica kan je de reële getallen karakertizeren tot aan isomorfie. Zie ook hier.eezacque schreef: ↑vr 17 aug 2012, 17:16
zo maak je gebruik van reele getallen die nou eenmaal niet zo eenvoudig te definieren zijn in huis- tuin- en keukenlogica.