Logica: verschil tussen versies
Naar navigatie springen
Naar zoeken springen
→Coole axiomatische systemen: Een nieuwe entry voor een cool axiomatisch systeem |
Geen bewerkingssamenvatting |
||
| Regel 4: | Regel 4: | ||
* [[ZFC]] | * [[ZFC]] | ||
* [[Natuurlijke Semantieken]] | * [[Natuurlijke Semantieken]] | ||
== Onopgeloste problemen == | |||
* [[Keuzeaxioma]] | |||