Predikata logiko: Malsamoj inter versioj
[nekontrolita versio] | [nekontrolita versio] |
Enhavo forigita Enhavo aldonita
Arseno (diskuto | kontribuoj) |
Arseno (diskuto | kontribuoj) |
||
Linio 12:
Kelkajn frazojn oni elektas por esti [[aksiomo|aksiomoj]]. Ĉiujn ceterajn verajn frazojn oni nomas '''teoremoj'''.
Eblas bele difini '''plenecon''' (oni rajtus krei neniujn pluajn aksiomojn) pri establita aksiomaro:
<br/>
''En la aro pri difinoj, rigardante la difinojn kiel objektojn, oni povus solvi ĉiun predikaton''.
|