aksjomat indukcji 1
noundomain: thinkingregister: specj.
Słowosieć [ver.5.0]
PolishDefinition
aksjomat, a właściwie nieskończony przeliczalny zbiór aksjomatów pierwszego rzędu, pozalogicznych rozważany zwłaszcza w teorii arytmetyki liczb naturalnych.
