cwbe coordinatez:
101
63539
63556
63998
7333141
7333348
7333891
7334386
7334390

ABSOLUT
KYBERIA
permissions
you: r,
system: public
net: yes

neurons

stats|by_visit|by_K
source
tiamat
K|my_K|given_K
last
commanders
polls

total descendants::2
total children::2
show[ 2 | 3] flat
ako tvrdenie mozes pouzit cokolvek :)
nemozes jeden krok dokazu pouzit ako argument v prospech toho co chces dokazat.
mozes pouzit len cely dokaz (vsetky kroky). ak je aplikovatelny na dany problem.
inak je to zase len non-sequitur




00000101000635390006355600063998073331410733334807333891073343860733439007334465
w
 w      21.09.2013 - 11:46:19 , level: 1, UP   NEW
ako pise al-caid a ako som napisal vyssie, predpoklada sa konzistentnost ;)

00000101000635390006355600063998073331410733334807333891073343860733439007334410
al-caid
 al-caid      21.09.2013 - 10:23:15 , level: 1, UP   NEW
v ramci induktivneho dokazu sa mozeme bavit o tom, ci jednotlive instancie su aplikovatelne