Logica: verschil tussen versies
Naar navigatie springen
Naar zoeken springen
Axioma cool |
→Coole axiomatische systemen: Een nieuwe entry voor een cool axiomatisch systeem |
||
| Regel 3: | Regel 3: | ||
* [[Peano rekenkunde]] | * [[Peano rekenkunde]] | ||
* [[ZFC]] | * [[ZFC]] | ||
* [[Natuurlijke Semantieken]] | |||