1

Gulys Istvn

MODERN KNYVVITELTAN

A modern n-szeres (n3) vagyonknyvvitel,

mint
az egyik specilis knyvvitel
elmletnek elemei
s
axiomatikus rendszere

(a szmlaelmletek halla)
2009

Kiad: GIN Professional Kft; 1163-H. Budapest, Edit u. 15.

Szerz: Gulys Istvn kzgazdsz.
http://www.ginprofessional.hu ; mailto:gulyas@ginprofessional.hu

Budapest, 2010. augusztus 18.; msodik javtott s bvtett kiads; publiklva elszr 2009. augusztusban Magyarorszgon.

Istvn Gulys The axiomatic system of the N-fold (N>=3) bookkeeping by scientific work is licensed under a Creative Commons Nevezd meg!-Ne add el!-Ne vltoztasd! 2.0 UK: Anglia s Wales Licenc.
Based on a work at www.ginprofessional.hu .
Permissions beyond the scope of this license may be available at www.ginprofessional.hu .

Gulys Istvn

kzgazdsz
Szletett: 1948.10.17-n
(A kpen a szerz lthat 2009-ben)

Gulys Istvn

MODERN KNYVVITELTAN

A modern n-szeres (n3) vagyonknyvvitel,

mint
az egyik specilis knyvvitel
elmletnek elemei
s
axiomatikus rendszere

(a szmlaelmletek halla)
2009

Msodik, javtott s bvtett kiads.

ISBN 978-963-88486-6-6 nyomtatott

ISBN 978-963-88486-7-3 online
ISBN 978-963-88486-8-0 CD

A dolgok, j nzpontbl, meglepen msnak mutatkozhatnak,

mint amilyennek valaha megismertk ket. S ez ll a knyvvitelre is.
Gulys Istvn

5
TARTALOMJEGYZK
ELSZ A 2. KIADSHOZ......................................................................................................................................... 11
1. A KNYVVITEL VAGYONELMLETNEK ELEMEI .................................................................................................... 15
1.1 Princpiumok....................................................................................................................................................... 15
1.11 Defincik.........................................................................................................................................................................15
1.111 Az ltalnos knyvvitel elmletnek fogalmai...........................................................................................................15
1.112 Az vagyonknyvvitel vagyonelmletnek fogalmai ..................................................................................................19
1.12 Aximk ...........................................................................................................................................................................23
1.121 A vagyon s ms kronologikus halmazok aximi ....................................................................................................23
1.122 Az adssg aximi ...................................................................................................................................................24
1.123 Gazdasgi s ltalnos esemny-aximk..................................................................................................................25

1.2 A vagyonelmlet ttelei s bizonytsuk .............................................................................................................. 26

Attribtum-osztlyozsok s az osztlyaik tulajdonsga .......................................................................................26
1. Ttel: A t. idpontban (t=1,2,...) ltez bruttvagyon, illetve annak brmely eszkzaspektus statikus
vagyonosztlyban lv rsze mennyisgt s pnzrtkt (vagy ms jellemzje mrtkt) csak pozitv szmmal
n

fejezhetjk ki (formulval: V>0, avagy mskpp jellve: VBR=

J >0, ahol J >0 a klnbz fajta javak egy

i

i =1

eszkzaspektus, statikus, nem res vgs osztlynak rszsszege, minden i-re - a t idpontban) (T1). ...........................26
2. Ttel: Ha a t. idpontban (t=1,2,....) a gazdlkodnak van adssga (idegen vagyona), akkor annak a bruttvagyon
forrsaspektus statikus relatv alaposztlyban, az idegenvagyon osztlyban, illetve annak brmely alosztlyban lv
mennyisgt s pnzrtkt (vagy ms jellemzje mrtkt) csak pozitv szmmal fejezhetjk ki
(A=A1+A2++Aj++AN>0, ahol Aj>0, a klnbz fajta adssgok egy vgs statikus osztlynak rszsszege,
minden j-re) (T2). .................................................................................................................................................................28
3. Ttel. Lemma: A gazdlkod vagyonnak nagysgt jellje V, adssgnak elbbivel azonos mrtkegysgben
kifejezett nagysgt jellje A. Ekkor a V-A klnbsg a t. idpontban (t=1,2,....) lehet nagyobb vagy kisebb, mint nulla,
vagy egyenl nullval, azaz: V-A 0 (T3). .........................................................................................................................29
4. Ttel: A t. idpontban (t=1,2,....) adott nett vagyon mrtke, mint a nem negatv bruttvagyon forrsaspektus relatv
alaposztlynak fsszege brmilyen eljel szm lehet (VNE 0) (T4). ............................................................................30
5. Ttel: A t. idpontban (t=1,2,....) a nem negatv bruttvagyon forrsaspektus felosztsval keletkez kt statikus
alosztly kzl a sajt vagyonosztly fsszege brmilyen eljel szm lehet (VS 0) a bruttvagyon s az idegenvagyon
nagysga fggvnyben, az idegen vagyonosztly fsszege pedig csak nem-negatv szm (VI0) lehet, mikzben
VS+VI0 (T5). ......................................................................................................................................................................30
6. Ttel: A t. idpontban (t=1,2,) a nett vagyon indul, ill. jegyzett tke nev forrsaspektus statikus vgs osztlyba
tartoz tke sszege (T) csak pozitv szm lehet. (T>0) (T6)...............................................................................................31
7. Ttel: A t. idpontban (t=1,2,....) a nett vagyon tketartalk nev statikus osztlyhoz tartoz rszsszeg (TR) csak
nulla vagy nullnl nagyobb szm lehet. (TR0) (T7). ........................................................................................................32
Corollrium: E ttelbl nyilvnval, hogy a TR>0 tketartalkot tartalmaz forrs aspektus statikus vagyonosztly
kzbls s vgs osztlyainak f- illetve rszsszegei is pozitv szmok. Kplettel: TR=TR1+TR2+=(TR11+
+TR1i+)+(TR21+ +TR2j+)+>0, ahol TR1i ,TR2j>0 a klnbz fajta tketartalkok egy-egy vgs statikus
osztlynak rszsszegei, minden i-re s j-re. .................................................................................................................32
8. Ttel: A t. idpontban (t=1,2,....) a nett vagyon statikus halmozott eredmnyosztlynak statikus halmozott
hozamalosztlyhoz tartoz rszsszeget, mint a t. idpontban ltez halmozott hozam mennyisgt s pnzrtkt (vagy
ms jellemzje mrtkt) csak pozitv szmmal fejezhetjk ki (H>0) (T8)..........................................................................33
Corollrium: E ttelbl nyilvnval, hogy a H>0 hozamot tartalmaz forrs aspektus nem res statikus vagyonosztly
kzbls s vgs osztlyainak f- illetve rszsszegei is pozitv szmok. Kplettel: H=H1+H2+=(H11+
+H1i+)+(H21+ +H2j+)+>0, ahol H1i ,H2j>0 a klnbz fajta hozamok egy-egy nem res vgs statikus
osztlynak rszsszegei. ................................................................................................................................................33
9. Ttel: A t. idpontban (t=1,2,....) a nett vagyon statikus eredmnyosztlynak statikus rfordts (kltsg) nev
alosztlyhoz tartoz rszsszeget, mint a t. idpontban ltez rfordts (kltsg) mennyisgt s pnzrtkt (vagy ms
jellemzje mrtkt) csak negatv szmmal fejezhetjk ki (R<0) (T9).................................................................................33
Corollrium: E ttelbl nyilvnval, hogy a R<0 rfordtst tartalmaz forrs aspektus statikus nem res
vagyonosztly kzbls s vgs osztlyainak f- illetve rszsszegei is negatv szmok. Kplettel:
R=R1+R2+=(R11+ +R1i+)+(R21+ +R2j+)+<0, ahol R1i ,R2j<0 a klnbz fajta rfordtsok egy-egy
vgs statikus nem res osztlynak rszsszegei, minden i-re s j-re (T9/C).................................................................34
10. Ttel: Ha a t. idpontban (t=1,2,....,) a halmozott ill. a folyidszaki hozam kisebb, mint a vele egynem halmozott ill.
folyidszaki rfordts abszolt rtke, akkor a t. idpontban ltez halmozott ill. folyidszaki brutt eredmny neve
vesztesg (E<0), ha nagyobb, akkor nyeresg (E>0) - rtelemszeren mindkett halmozott ill. folyidszaki (T10). .........35
Corollrium: E ttelbl nyilvnval, hogy a t. idpontban (t=1,2,....,) a halmozott ill. a folyidszaki eredmny (E)
brmely eljel szm lehet (E 0) (T10/C)......................................................................................................................35
11. Ttel: A bruttvagyon vagy valamely rsze eszkz vagy forrs aspektus szerinti statikus vagyonosztlyhoz a t.
idpontban (t=1,2,...) tartoz f- ill. rszsszeg egyenl e vagyont (illetve vagyonrszt) eredmnyez (0;t]
idintervallumbeli vagyonvltozsok idosztlyaihoz tartoz rszsszegek sszegvel, amely csak nem negatv szm

6
lehet, kivve a sajtvagyon- s az eredmnyosztly rszsszegt, mely brmilyen eljel szm, valamint a
rfordtsosztly rszsszegt, amely csak nem pozitv szm lehet (T11). ...........................................................................35
Corollrium 1: E ttelbl nyilvnval, hogy brmilyen aspektus statikus vagyonosztlyozs valamely osztlynak fill. rszsszege brmilyen eljel szm lehet, ha az elemei azonosak a sajtvagyon- vagy az eredmnyosztly
elemeivel, ha pedig a rfordtsosztly elemeivel azonosak, akkor csak nem pozitv szm lehet. Ha viszont a statikus
vagyonosztlyozs eszkzjelleg vagy forrsjelleg, de azon bell az idegenvagyon osztly (vagy annak brmely
alosztlya) elemeivel azonosak a vagyonosztly elemei, akkor annak f- ill. rszsszege csak nem negatv szm lehet.
.........................................................................................................................................................................................37
Corollrium 2: E ttelbl nyilvnval, hogy ha a (0;M] idintervallum Vt idosztlyaihoz (t=1,2,...,M) tartoz I(t,Vt)
rszsszegekbl egyrtelmen kvetkezik az M-ik idponthoz tartoz OM statikus vagyonosztly V(t,OM) rtke, de
V(t,OM) rtkbl nem kvetkezik egyrtelmen az egyes I(t,Vt)-k rtke. m ez az sszefggs igaz V(t,OM)-ra s
statikus alosztlyainak rszsszegeire is..........................................................................................................................37
12. Ttel. Lemma: Ha a t=M idpontban valamely statikus vagyonosztly f- vagy rszsszege nem negatv (avagy nem
pozitv), akkor az osztlyba tartoz vagyont (vagyonhinyt) eredmnyez (0,M] idintervallumbeli vagyonvltozsok els
t (t=1,2,..,M) idosztlyhoz tartoz rszsszegek sszege is az (T12.L.). ...........................................................................37
Corollrium: E ttelbl nyilvnval, hogy ha valamely kumullt rszsszeg vagyonosztlyozs egyik rszsszege nem
negatv (vagy nem pozitv) akkor a tbbi rszsszege is az (T12/C). ...............................................................................38
13. Ttel: Ha a t. idpontban (t=1,2,..) valamely statikus vagyonosztly f- illetve rszsszege nem nulla, akkor a statikus
vagyonosztly nem res (T13). .............................................................................................................................................38
14. Ttel: A t=M idpontban (t,M=1,2,) ltez, nem negatv nagysg bruttvagyont, vagy annak valamely statikus
osztlyban lv nem negatv nagysg rszt eredmnyez (0;M] idintervallumbeli vagyonvltozsok osztlyozs
brmely I(t) rszsszege, ha 1tM, lehet nagyobb, mint nulla, vagy egyenl nullval. Mg ha 2tM, akkor brmely I(t)
rszsszeg lehet kisebb nullnl, feltve, hogy abszolt rtke nem nagyobb, mint az els t-1 rszsszeg sszege (T14)...39
Corollrium: E ttelbl nyilvnval, hogy ha a t=M idpontban nem pozitv rszsszeg statikus vagyonosztlyt
eredmnyez (0,M] idintervallumbeli vagyonvltozsok idaspektus vagyonosztlyozsnak brmely I(t)
rszsszege (1tM) lehet kisebb, mint nulla, vagy egyenl nullval. Mg ha 2tM, akkor brmely I(t) rszsszeg
lehet nagyobb nullnl, feltve, hogy rtke nem nagyobb, mint az els t-1 rszsszeg sszegnek abszolt rtke
(T14/C). ............................................................................................................................................................................40
15. Ttel: A magra hagyott vagyonnal vagy rszvel sszefgg sajt vagyon(rsz) mennyisge/rtke az id mlsval mintegy automatikusan - tart a mnusz vgtelenhez (T15). ...................................................................................................40
Corollrium: A gazdlkod anyagi helyzete s annak minden tnyezje a gazdlkods abbahagysa esetn is idben
vltozik (T15/C)................................................................................................................................................................41
A vagyon szerkezeti trvnyei s a vagyonosztlyozsi rendszerek ......................................................................41
v

16. Ttel:

S
x =1

A1 =

S
y =1

A2 ==

S A

0, azaz: ha a (0,t] idintervallumbeli bruttvagyon-vltozsok

=1

alaposztlyt s/vagy annak t. idpontbeli (t=1,2,) egyenlegosztlyt n-flekppen (n2), azaz tetszleges, de
klnbz A1,A2,..,An vagyonaspektus szerint osztlyozzuk, vagy egy An+1 aspektus vagyonosztlyozsval kiegsztjk,
akkor e vagyonosztlyozsi rendszer osztlyozsainak szerkezete klnbz, mg az egymssal azonos dimenzij
fsszegei mind egyenlk (T16). ..........................................................................................................................................41
n

Corollrium 1:

J =V +V 0, vagyis: ha a (0,t] idintervallumbeli bruttvagyon-vltozsok t. idpontbeli

i

i =1

egyenlegeinek (azaz a vagyon trgyainak) halmazt eszkz- s forrs-, azaz kt klnbz aspektus szerint
osztlyozzuk, akkor e vagyonosztlyozsi rendszer osztlyozsainak szerkezete eltr, de az azonos mrtkegysgben
kifejezett kt fsszeg egyenl (T16/C1). .........................................................................................................................43
M

Corollrium 2:

I(t)=

t =1

J =V +V 0, vagyis: ha a (0,t] idintervallumbeli bruttvagyon-vltozsok halmaza id s

i

i =1

a t. idpontbeli egyenlegeik (azaz a vagyon trgyainak) halmaza eszkz-forrs, azaz egytt hrom klnbz aspektus
szerint osztlyozott, akkor e dinamikus s statikus vagyonosztlyozsi rendszer osztlyozsainak szerkezete eltr, de
az azonos mrtkegysgben kifejezett hrom fsszeg egyenl (T16/C2). .......................................................................43
Corollrium 3: IM=EM=FM==XM0., azaz: ha a (0,M] idintervallumbeli bruttvagyon-vltozsok halmaza id s a
M. idpontbeli egyenlegeik (azaz a vagyon trgyainak) halmaza eszkz- s forrsaspektust meghalad, egytt N
klnbz (N3 s egsz) aspektus szerint osztlyozott, akkor e dinamikus s statikus vagyonosztlyozsokbl ll
vagyonosztlyozsi rendszerhez N klnbz osztlyozsi szerkezet tartozik, de az azonos mrtkegysgben kifejezett
fsszegek mind egyenlk (T16/C3). ...............................................................................................................................43
M

17. Ttel:

t =1

i =1

Ji(t)=

V (t)+V (t)0, azaz a bruttvagyon IE-IF-aspektus dinamikus vagyonosztlyozsi

S

t =1

rendszernek a t=1,2,,M idpontokhoz tartoz azonos dimenzij E-F-aspektus fsszegei s ezek t=M idpontig
szmtott sszegei egyenlk (T17). .......................................................................................................................................44
Corollrium: A bruttvagyon tetszleges kt klnbz aspektus dinamikus vagyonosztlyozsnak t=1,2,..,M
idpontjhoz tartoz azonos dimenzij fsszegei s ezek t=M idpontra szmtott sszegei egyenlk. ....................46

7
M

18. Ttel:

t =1

I(t)=

t =1

i =1

Ji(t)=

V (t)+V (t)0, azaz a bruttvagyon I-IE-IF aspektus dinamikus

S

t =1

vagyonosztlyozsi rendszernek a t=1,2,,M idpontokhoz tartoz azonos dimenzij E-F aspektus fsszegei s az
I(t) idosztlyok, valamint ezek t=M idpontra sszestett sszegei egyenlk (T18). ..........................................................46
Corollrium 1: A bruttvagyon idaspektus vagyonosztlyozsnak valamely t. idpontjhoz (t=1,2,..,M) tartoz
rszsszege egyenl e vagyon brmely msik, id- s valamely ms aspektus szerinti vagyonosztlyozsnak
ugyanezen t. idponthoz tartoz azonos dimenzij fsszegvel (T18/C1). ...................................................................48
Corollrium 2: A bruttvagyon brmely sszetett dinamikus vagyonosztlyozsi rendszernek minden t. idosztlyhoz
(t=1,2,..,M) tartoz rszsszege s ezek sszegei egyenlk (T18/C2)...............................................................................48
A gazdasgi esemnyek s a vagyonosztlyozsi rendszerek kapcsolata ..............................................................48
19. Ttel: Brmely s brmennyi gazdlkodspecifikus gazdasgi esemny bekvetkezte a bruttvagyon I-E-F aspektus
dinamikus s statikus szerkezeti trvnynek rvnyessgt nem befolysolja, noha ekkor a gazdasgi
esemnykoordintknak megfelel vgs vagyonosztlyokhoz tartoz rszsszegek, a gazdasgi esemny jellegnek
megfelelen, megvltoznak..................................................................................................................................................48
Corollrium 1: Brmely vagyonosztlyozs (abszolt vagy relatv) fsszege kovarins (egyttvltoz) rszsszegnek
gazdasgi esemny kapcsn bekvetkez nvekedsre vagy cskkensre, mg invarins (nem egyttvltoz) kt
rszsszegnek kompenzcis (ellenttes eljel, de azonos nagysg) vltozsra nzve (T19/C1................................52
Corollrium 2: Brmely vagyonosztlyozs rszsszege invarins (nem egyttvltoz) e vagyonosztlyozs gazdasgi
esemny kapcsn megvltoz rszsszegre vagy rszsszegeire nzve.........................................................................53
20. Ttel: Brmely s brmennyi gazdlkodspecifikus gazdasgi esemny bekvetkezte a bruttvagyon I-IE-IF aspektus
dinamikus szerkezeti trvnynek rvnyessgt nem befolysolja, noha ekkor a gazdasgi esemnykoordintknak
megfelel vgs vagyonosztlyokhoz tartoz rszsszegek a gazdasgi esemny jellegnek megfelelen megvltoznak. 53
Corollrium 1: A gazdlkod anyagi helyzete s annak minden tnyezje a gazdlkodspecifikus gazdasgi esemnyek
kapcsn idben vltozik...................................................................................................................................................54
Corollrium 2: Az I=E=F0 formulval reprezentlt vagyonosztlyozsi rendszer osztlyozsai egymstl fggetlenek
a csak szerkezeti vagyonvltozsok tekintetben. ...........................................................................................................54
Corollrium 3: Az I=E=F0 formulval reprezentlt 3 aspektus vagyonosztlyozsi rendszerben, karakterisztikjnak
megfelelen, vagyonnvekeds vagy cskkens esetn mindig 3 az I s az E s az F aspektus
vagyonosztlyozshoz tartoz egy-egy , mg csak szerkezetvltozs esetn mindig 2 vagy csak az I, vagy csak az
E, vagy csak az F aspektus osztlyozshoz tartoz rszsszeg vltozik meg. ..........................................................54
Corollrium 4: Az I=E=F==X0 formulval reprezentlt N aspektus (N3 s egsz) vagyonosztlyozsi
rendszerben, karakterisztikjnak megfelelen, vagyonnvekeds vagy cskkens esetn mindig N de
osztlyozsonknt csak egy , mg csak szerkezetvltozs esetn, ha mindegyik osztlyozs fggetlen a tbbitl,
mindig csak az egyik osztlyozshoz tartoz 2 rszsszeg vltozik meg. Ha a rendszerben van mg nem fggetlen K
(1KN-3 s egsz) vagyonosztlyozs is, akkor sszesen legfeljebb 2K+2 rszsszeg vltozik meg K+1
osztlyozsban.................................................................................................................................................................54
Corollrium 5: Elvonatkoztatva az idaspektustl, az E=F0 formulval reprezentlt vagyonosztlyozsi rendszerben,
karakterisztikjnak megfelelen, brmely gazdasgi esemny kapcsn mindig csak 2, E s/vagy F vagyonosztlyhoz
tartoz rszsszeg vltozik meg brhogyan is vltozik a vagyon. ..............................................................................54
Corollrium 6: Az I=E=F==0 formulval reprezentlt explicite N-szeres (N3 s egsz) vagy az IE=IF==0
formulval reprezentlt implicite N-szeres (N2) vagyonosztlyozsi rendszer szerkezeti trvnye rvnyes lesz a
vagyon s adssg nlkl kezd (VBR=0 s VI=0), valamint a csak adssggal rendelkez (VBR=0 s VI=A>0 s VS= A<0, s F=VS+VI=0) gazdlkod esetn, brmely s brmennyi gazdlkodspecifikus gazdasgi esemny kvetkezik
be. ....................................................................................................................................................................................54
A termszetes vagyonosztlyozs trvnye s a termszetes vagyonosztlyok.....................................................55
Corollrium 7: A t. idpontokban (t=1,2,,M) bekvetkez gi(t) [i=1,2,,n] gazdlkodspecifikus gazdasgi
esemnyek fokozatosan - termszetes kronolgia szerint felptik s minden t. idpontban egyrtelmen
meghatrozzk a gazdlkod vagyonosztlyozsi rendszert. E termszetes folyamat minden t. idpontjban: a gi(t)
esemnyek jellegnek s koordintinak megfelel rszsszegek megvltoznak (nnek s/vagy cskkennek) . Ez
trtnik akkor is, ha e vltozsok nyilvntartottak s akkor is, ha nem; s akkor is, ha e vltozsok koordinti mg
csak kikvetkeztethetk a gi(t) gazdasgi esemnyek idpontja s neve (lersa) adataibl. ..........................................55
Komplett s inkomplett vagyonosztlyozsi rendszerek ........................................................................................55
21. Ttel: A (0,M] idintervallumban vltoz bruttvagyon I=E=F0 formulval reprezentlt explicite N-szeres (N=3)
vagyonosztlyozsi rendszere komplett rendszer (T21). .......................................................................................................55
Corollrium 1: A bruttvagyon I=E=F==X0 formulval reprezentlt explicite N-szeres (N3) vagyonosztlyozsi
rendszere komplett...........................................................................................................................................................56
Corollrium 2: A bruttvagyon IE=IF==IX0 formulval reprezentlt implicite N-szeres (N2) vagyonosztlyozsi
rendszere komplett...........................................................................................................................................................57
Corollrium 3: Ha a bruttvagyon osztlyozsi rendszere (esetleg ms statikus vagyonosztlyozsok mellett) csak I,
vagy E, vagy F, avagy E s F, vagy I s E, vagy I s F aspektus vagyonosztlyozsbl ll, vagy ezek egyikt sem
tartalmazza, akkor az ilyen vagyonosztlyozsi rendszer inkomplett, br az E=F0 vagyonosztlyozsi rendszer zrt a
gazdlkodspecifikus gazdasgi esemnyekre nzve. .....................................................................................................57
Corollrium 4: A vagyon id-, eszkz- s forrs-aspektusa s az I-E-F aspektus szerinti osztlyozsa a
vagyonosztlyozs immanens tulajdonsga, azaz attribtuma.........................................................................................57

8
Corollrium 5: A mrvad vagyonaspektusok maximlis szma n, s 3<n<X(t,E), ahol X ismeretlen nagysg
termszetes szm s fels korltjnak rtke fgg a t idponttl (milyen naptri vet runk pp) s a gazdlkod
gazdlkodsi profiljtl, gazdasga nagysgtl s bonyolultsgtl, melyeket az eszkzk szerkezetvel s
fsszegvel (E=ei) jellemezhetnk..............................................................................................................................57
22. Ttel: Az IP=EP=FP0 vagy az EP=FP0 formulval reprezentlt, a bruttvagyonbl csak a pnzvagyont mutat
pnzforgalmi szemllet vagyonosztlyozsi rendszer inkomplett. .................................................................................57
23. Ttel: Ha a VBR0 bruttvagyon vagyonosztlyozsi rendszere komplett, akkor van benne id-, eszkz- s
forrsosztlyozs..................................................................................................................................................................59
24. Ttel: Ha a gazdlkod VBR0 bruttvagyonnak vagyonosztlyozsi rendszere komplett, akkor zrt a
gazdlkodspecifikus gazdasgi esemnyekre nzve...........................................................................................................59
25. Ttel: A bruttvagyon N "serpenys" (N2) mrlege komplett rendszer.......................................................................59
26. Ttel: Ha egy vagyonosztlyozsi rendszer komplett, akkor vagy explicit N-szeres (N3) s osztlyozsai kztt a
dinamikus I s a statikus E s F vagyonosztlyozs szerepel, vagy implicit N-szeres (N2) s osztlyozsai kztt a
dinamikus I-E s I-F sszetett vagyonosztlyozs szerepel. ................................................................................................60
27. Ttel: A bruttvagyon nvekedst s/vagy cskkenst jelent (0;M] idintervallumbeli gazdasgi esemnyek azonos
fajta mrtkadatainak klnbsge (ha a cskkensek negatv eljelek, akkor algebrai sszege) egyenl a bruttvagyon M
idpontbeli statikus osztlyozsnak fsszegvel. .............................................................................................................62
28. Ttel: A bruttvagyon E=F0 formulval reprezentlt inkomplett vagyonosztlyozsi rendszere (klasszikus mrlege)
komplett tehet...................................................................................................................................................................62
Az anyagi helyzet trvnye .......................................................................................................................................63
M

29. Ttel: A VBR(M)=

t =1

i =1

Ji(t)=

t =1

VS(t)+A(t)0, (ahol VBR(M)=

t =1

i =1

J (t)
i

A(t)0 s VS(t)

0; s t=1,2,,M;

i=1,2,,n) formula az anyagi helyzet trvnye. Jelentse: Az embernek, s minden ms gazdlkodnak szletstl a
hallig tart lte minden t. idpillanatban (1) vagy van bruttvagyona [VBR(t)>0], de akkor van adssga is [A(t)>0], (2)
mely utbbi, j esetben, jelentsen kisebb, rossz esetben nem, st nagyobb, mint a bruttvagyona, (3) vagy nincs sem
vagyona [VBR(t)=0], sem adssga [A(t)=0] (ekkor nincstelen); (4) vagy ennl is rosszabb a helyzete: csak adssga van
[VBR(t)=0, A(t)>0] (ekkor a nincstelen ads). (5) s ms eset nem lehetsges. (6) A gazdlkod anyagi helyzete, annak
valamelyik tnyezje idben mindig vltozik, akr folytatja gazdlkodst, akr magra hagyja a vagyont, ezrt (7)
vagyona, mint anyagi helyzetnek egyik f tnyezje n (n3), azaz legalbb id, eszkz s forrs aspektusbl vizsglhat
s vizsgland. .....................................................................................................................................................................63

2. AZ LTALNOS S A VAGYONKNYVVITEL ELMLETNEK ALAPELEMEI ............................................................. 65

2.1 Princpiumok....................................................................................................................................................... 65
2.11 Vagyonknyvviteli defincik ..........................................................................................................................................65
2.111 Az ltalnos knyvvitel fogalmai...............................................................................................................................65
2.112 A vagyonknyvvitel fogalmai ....................................................................................................................................69
2.12 A vagyonknyvvitel aximi............................................................................................................................................74
2.121 A bizonylati elv........................................................................................................................................................74
2.122 A valdisg-valtlansg dilemma eldnthetetlensgnek ltalnos knyvviteli alapelvei ........................................74
2.123 Az inadekvt ellenrautomatk elve ..........................................................................................................................75
2.124 Az absztrakt esemnyek gazdlkodspecifikussgnak elve ....................................................................................75

2.2 Ttelek s bizonytsok........................................................................................................................................ 75

Ekvivalencia s izomorfia .........................................................................................................................................75
1. Ttel: A gazdasgi s a neki megfelel knyvviteli esemny adatvektora, a gazdlkod anyagi helyzetnek vltozst
jellemz adatai tekintetben ekvivalens (2./T1)....................................................................................................................75
2. Ttel: A vagyon knyvvitelben a gazdasgi esemnyeknek s a gazdasgi esemnyek kapcsn ltrejtt vagyonnak s
adssgnak, illetve ezek osztlyozsi rendszernek a kzvetett kpe jelenik meg knyvviteli esemnyek formjban,
illetve knyvviteli esemnyek ltal (2./T2)...........................................................................................................................76
Corollrium 1: A knyvviteli nyilvntarts, mint az anyagi helyzet tnyezinek s vltozsainak kpe s e lekpezs
trgya jellegt tekintve szksgszeren ekvivalens (2./T2/C1).........................................................................................77
Corollrium 2: A vagyonelmlet ttelei (s trvnyei) azonos alakban s tartalommal rvnyesek a knyvvitelben is
(fordtva ez ltalban nem igaz), mert a vagyonelmletben adott rendszer s a knyvviteli rendszer izomorf (2./T2/C2).
.........................................................................................................................................................................................77
Az ellenrizetlen knyvvitel s leltr ltal involvlt valsg-valtlansg dilemma s a ngyszgellenrzs
trvnye......................................................................................................................................................................77
3. Ttel: Az ellenrizetlen vagyonknyvviteli nyilvntarts adatait a bekvetkezett gazdasgi esemnyek valsgbeli
adataival egy adott t idpontban nem tekinthetjk 100%-ban megegyeznek. ..........................................................77
4. Ttel: A nem ellenrztt (azaz a megfelel gazdasgi esemnyek bizonylataival egybe nem vetett) leltr nem tmasztja
al (azaz nem bizonytja) a nem ellenrztt knyvvitel s annak adataival kszlt mrleg valdisgt (2./T4)...................79
Corollrium 1: A nem ellenrztt (azaz a megfelel gazdasgi esemnyek bizonylatval s az ellenrztt leltr
megfelel adatval egybe nem vetett) knyvviteli esemnyek (knyvelsi ttelek) nem tmasztjk al (azaz nem
bizonytjk) a knyvviteli nyilvntarts s az annak adataival kszlt mrleg valdisgt (2./T4/C1).............................80
Corollrium 2: Egymagban, sem a leltr (VL), sem a leltrral rintett idszakban knyvelt bizonylat(ok) (VB) adatai,
de mg e kett egytt sem alapozza meg az rintett vagyonknyvvitel (VK) s vagyonmrleg valdisgt, hanem csak a
VE=VB s VB=VK s VK=VL s VE=VL egyezsg egyszerre ahol VE a gazdasgi esemny mutatta valsg. Ez a
knyvviteli ngyszgellenrzs trvnye (2./T4/C2). ...................................................................................................80

9
Szabvnyosts s automatizls ..............................................................................................................................80
5. Ttel: Minden gazdlkodhoz egyrtelmen hozzrendelhetnk egy a tevkenysgnek megfelel szabvnyos
gazdasgi esemnyekbl ll vges halmazt (2./T5). ...........................................................................................................80
Corollrium 1: Az absztrakt gazdasgi esemnyek n szma s a szabvnyos gazdasgi esemnyek k szma viszonyra
ll: 1kn (n=1,2,...) [2./T5/C1]. ......................................................................................................................................81
Corollrium 2: A szabvnyos gazdasgi esemnyek is jellemzek a gazdlkod tevkenysgre, azaz:
gazdlkodspecifikusak [2./T5/C2]. .................................................................................................................................81
6. Ttel: A (0;t] idintervallumban (t=1,2,,M) szabvnyos gazdasgi esemnyekkel megnevezett konkrt knyvviteli
esemnyek kapcsn bekvetkez bruttvagyonvltozsok M. idponthoz tartoz algebrai sszege egyenl e
bruttvagyonvltozsok szabvnyos gazdasgi esemnyek szerinti osztlyozsnak fsszegvel (2./T6). ........................81
7. Ttel: Minden szabvnyos gazdasgi esemnyhez egyrtelmen hozzrendelhet a neki megfelel konkrt knyvviteli
esemny koordintit ad osztlykoherencia (vagy kontrozsi sszefggs) y*=o* adatvektora, mint metaadat (2./T7). ..82
Corollrium: Minden egyes szabvnyos gazdasgi esemnyhez egyrtelmen hozzrendelhet a neki megfelel konkrt
bizonylatolt gazdasgi esemnynek e szabvnyos gazdasgi esemnytl fgg minden konkrt adata is (2./T7/C). ......82
8. Ttel: A gazdlkod brmely knyvviteli esemnynek koordinti a gazdlkodsra jellemz szabvnyos gazdasgi
esemnyek fggvnyeknt automatikusan meghatrozhatk (2./T8)....................................................................................83
Corollrium: Amennyiben az eiyi*=[y1,y2,...yk]i=oi* minden i-re elre helyesen meghatrozott, gy a kontroz
automatval brmennyi bizonylatolt gazdasgi, illetve knyvviteli esemny osztlykoherencijnak (kontrozsi
sszefggsnek) automatikus megadsa is hibtlan lesz, vagyis a kontroz automata az ei-k hibtlan kontrozsa
esetn kizrja a kontrozsi hibkat azaz: ettl a hibatpustl izollja a knyvviteli rendszert, brmely ei-re s
akrhnyszor ismteljk e mveletet (2./T8/C)...............................................................................................................83
9. Ttel: A gazdlkod brmelyik knyvviteli esemnynek adatai a gazdlkodsra jellemz szabvnyos gazdasgi
esemnyek s a konkrt bizonylatolt gazdasgi esemnyek adatai fggvnyeknt knyvel-automatval automatikusan
meghatrozhatk (2./T9).......................................................................................................................................................83
10. Ttel: Az E s/vagy F aspektus sszes siS={s1,s2,...,si,...,sp} azonostszm vagyonfajta (hagyomnyosan
fknyvi szmlk) sszest (fknyvi) kivonatnak adatai a knyvel-automatval ellltott adatbzisbl az sszest
kimutatst lekrdez automatval meghatrozhatk (2./T10). ..............................................................................................84
Corollrium 1: Amint az sszest kimutats (fknyvi kivonat), hasonlkpp a mrleg is elllthat a megfelelen
kiegsztett lekrdez automatval (2./T10/C1). ..............................................................................................................84
Corollrium 2: Az sszest kimutats (fknyvi kivonat) s a mrleg N aspektus (N2) vagyonosztlyozsi rendszer
esetn is elllthat a megfelelen kiegsztett lekrdez automatval (2./T10/C2).......................................................84
Corollrium 3: A knyvelautomata s a lekrdezautomata hasznlata szksgtelenn teszi a hagyomnyos fknyvi
szmlk vezetst, kvetkezskpp okafogyott teszi a szmlaelmleteket. Ez a szmlaelmletek halla (2./T10/C3). .84

3. A TARTOZS - KRBETARTOZS ELMLETNEK ALAPELEMEI .......................................................................... 85

3.1 Princpiumok....................................................................................................................................................... 85
3.11 Defincik.........................................................................................................................................................................85
3.12 Piaci aximk ...................................................................................................................................................................85

3.2 A tartozs - krbetartozs ttelei s bizonytsuk. .............................................................................................. 86

1. Ttel: Minden hitelez egyben ads is (3./T1)..................................................................................................................86
2. Ttel: A piac szerepli mind vagyonos gazdlkodk (3./T2)............................................................................................86
Corollrium: Minden elad vev is s fordtva (3./T2/C). ..............................................................................................87
3. Ttel: Ha egy piacon csak kt vagyonos gazdlkod van, akkor k csak egymsnak tartoznak. Ekkor k ketten adsprknt - a minimlis tagszm adskrt alkotjk. (Ez a krbetartozs minimlis esete.) [3./T3] ................................87
4. Ttel: Minden piacon van krbetartozs, vagyis a krbetartozs a piacok attribtuma, azaz nlklzhetetlen
tulajdonsga (3./T4)..............................................................................................................................................................87
Corollrium 1: Ha az n-szerepls piacon (ahol n3) van olyan adskr, amely nem adspr, akkor az ilyen kr
brmelyik tagja nem csak egyetlen msik krtagnak tartozhat. Teht az ilyen adskr lehet sszetett is (3./T4/C1).......88
Corollrium 2: Az adsprok szmt jellje P. Az n szerepels piac (ahol n>3) tartalmazhat tbb adsprt is. Az
adsprok lehetsges maximlis szma P max=[(n-1)*n]/2, ami ekvivalens pl. a konvex n-szg oldal s tljelleg
leinek egyttes szmval (mely utbbi teljes indukcival knnyen igazolhat) [3./T4/C2]............................................88
Corollrium 3: Ha az n szerepls piac (ahol n>3 s pros), mint halmaz, k piaci szegmensre (azaz rszhalmazra) bomlik
(ahol n=2k), akkor k darab egymstl fggetlen adsprt tartalmazhat (3./T4/C3)...........................................................88
Corollrium 4: Ha az n szerepls piac (ahol n>2) piaci szegmensekre bomlik, akkor adspr(oka)t s/vagy pratlan
tagszm adskr(ke)t tartalmaz (3./T4/C3)...................................................................................................................89

ELSZ A FGGELKEKHEZ ................................................................................................................................ 89

1. FGGELK................................................................................................................................................................ 90
VAGYONKNYVVITEL S MRLEGE ............................................................................................................................ 90
2. FGGELK................................................................................................................................................................ 93
TUDSSZINT KNYVELSE S A TUDSMRLEG ......................................................................................................... 93
3. FGGELK................................................................................................................................................................ 95
HAVI TELEFONKLTSG KNYVELSE S ANNAK HAVI KLTSGMRLEGE ............................................................ 95

10
4. FGGELK................................................................................................................................................................ 96
EGY MAI KLASSZIKUS MAGYAR, ANGOL S NMET VAGYONMRLEG ....................................................................... 96
ALKALMAZOTT FONTOSABB JELLSEK ........................................................................................................ 97

11

HARMADIK RSZ
ELSZ A 2. KIADSHOZ
E msodik kiadsra kt okbl kerl sor mr egy ven bell. Egyrszt azrt, mert elksztettem e harmadik rsz angol fordtst
s gy szksgkppen s prhuzamosan t kellett tekintenem a magyar verzit is. Ezrt elkerlhetetlenn vlt a magyar vltozat
jbli ellenrzse. Az szlelt s zavar matematikai elrsokat
ebbl akadt nhny kijavtottam. Msodszor azrt is kerl sor
egy v multn az j kiadsra, mert az angol nyelvre fordts felknlta a lehetsget a meghatrozsok s bizonytsok alaposabb
ttekintsre, a megfogalmazsok helyenknti egyszerstsre,
pontostsra. Ugyanakkor lehetv vlt a corollriumok szmnak
bvtse. St, sor kerlhetett a defincik s az aximk tern
nmi tcsoportostsra is, s ezzel lehetsg nylt arra, hogy az
gynevezett ltalnos knyvvitel s a specilis vagyonknyvvitel
princpiumai egyrtelmen kettvlhassanak. gy mr rtelme lett
annak is, hogy a vagyontl klnbz specilis knyvvitelekre illusztrl fiktv pldkat illesszek be fggelkknt. Mindazonltal
kijelenthetem, hogy az n-szeres knyvvitel axiomatikus rendszere
az alapvet felptst s tartalmt tekintve mit sem vltozott az
els kiadshoz kpest mert logikusan nem is vltozhatott.
***
1

Lnyegben a knyvem, melynek megrshoz az 1997. v vgi tudomnyos problmafelvetst kveten a 2000. v elejn kezdtem e
harmadik rszt kivve, s termszetesen magyar nyelven a 2003.
v vgre elkszlt.2
Tartalmt, akkor, a kzpiskolai tudsszintnl tbbet nem ignyl s clzatosan npszerst jelleggel rt els s msodik rsz,
valamint a fggelk kpezte. gy tnt: minden fontosabb alapismeretet, amit a hagyomnyos knyvvitellel, illetve az ltalam lert
modern N-szeres (N3) vagyonknyvvitellel kapcsolatban el lehetett
mondani, azt mind kifejtettem.
Ekkor olvastam elszr Szsz Gbor 1972-ben kiadott Az axiomatikus mdszer cm knyvt.3 Ebben az I. fejezet 2. pontja a matematika tudomnny vlsrl szl. Szsz kifejti: "Sem az egyiptomiak, sem a babiloniak nem foglaltk szablyokba matematikai ismere1

Megtekinthet a teljes knyv (438. p.) magyar nyelven az Orszgos Szchnyi Knyvtrban (OSZK)
(http://www.oszk.hu/index_hu.htm), a Budapesti Corvinus Egyetem Kzponti Knyvtrban (http://www.lib.unicorvinus.hu/ ) a Pcsi Tudomnyegyetem Egyetemi Knyvtrban (http://www.lib.pte.hu/); a Debreceni Egyetem Egyetemi Nemzeti Knyvtrban (http://www.lib.unideb.hu/ ); a Kzponti Statisztikai Hivatal (KSH) knyvtrban
(http://konyvtar.ksh.hu/index.htm); a harmadik rsz a Magyar Elektronikus Knyvtr (OSZK) honlapjn online ingyen
letlthet (http://mek.oszk.hu/07300/07350/).
2
Megtekinthet itt: (http://www.ginprofessional.hu/GI-A_modern_n-szeres_kvitel_20090814_01Rv_htmlben/N-szeres-kvitel_I_ajanl_2009_hu.html); s e harmadik rsz ingyen le is tlthet.
3
Szsz Gbor: Az axiomatikus mdszer (Tanknyvkiad, Budapest, 1972), 20. oldal.

12
teiket. Vagyis, mai nyelven szlva, nem alkottak tteleket, hanem
csak mintapldkat lltottak ssze, s ezeken a konkrt szmszer
pldkon mutattk be a szmtsi mdszereket.
A mai matematiknak mr a kzpiskols fokn ltalnosan hasznlt olyan kifejezsi formk, mint a definci, ttel, axima s
bizonyts az grg kultrban alakultak ki, s ekzben a matematika tapasztalati ismeretek gyjtemnye helyett deduktv tudomnyny vlt."
Azonnal belttam, hogy a tradicionlis knyvviteltannak, sem
4
Paccioli eltt sem Paccioli ta, mig nincs szabatosan megfogalmazott, egyrtelm s egymsra pl tudomnyos fogalmakbl ll,
ellentmondstl mentes fogalomrendszere, nincsenek aximi s
nincs egymsra pl bizonytott ttelrendszere sem. Igaz ez az
ltalam felvzolt mr egzakt defincikat, aximkat, tteleket,
illetve ezek sszefggseit is emlt eddig elkszlt modern Nszeres vagyonknyvviteltanra is. Teht a knyvviteltan, mint tudomny, ebben az llapotban, gy, ahogy volt, nem lpte tl a matematika tapasztalati ismeretek gyjtemnye 2500 vvel ezeltti babiloni-egyiptomi szintjt.
Pedig a lehetsg Euklidsz ta, azaz legalbb ktezer hromszz
ve adott volt. Lehet volt, hogy modern mdon rjk le a knyvvitel tant is, hasonlan a mr akkor fejlett tudomnyt jelent matematikhoz, geometrihoz.
De a knyvvitel N-szeres (N3) voltt is felfedezhettk volna,
mr az antikvitsban is, de Paccioli korban mr mindenkpp.
Ugyanis brmely gazdasgi esemny kvetkezett be, mr az korban
is, az sohasem csak kt, azaz eszkz s forrs (tke) aspektust
mutatta a vagyon s/vagy az adssg vltozsnak, hanem mindig
eleve legalbb hrom aspektust. Pl.: ha vettnk valamely rut hitelre, akkor e gazdasgi esemnyrl legalbb hrom paramter adatt ismertk azonnal: (1) a vltozs idpontjt, (2) a megvett vagyontrgy tpust (fajtjt) s (3) a vsrls forrst, azaz azt,
hogy idegen tkt (pl. hitelbl) vagy sajt tkt fektettnk-e be.
s brmely ms gazdasgi esemnynl ugyanezt tapasztaljuk. E hrom
paramter adat-3-asa (mint az esemny koordinta-3-asa) pedig
azonnal, mg mieltt egyltaln brmit is knyveltnk, termszetes
mdon kijellte s gy ltrehozta, vagy megvltoztatta az id-,
eszkz- s forrsaspektus, a vltozs ltal rintett termszetes
vagyonosztlyokat, meghatrozta termszetes mdon, az id-eszkzforrs aspektus vagyonosztlyozsokbl ll komplett dinamikus s
statikus vagyonosztlyozsi rendszert, nevezzk gy, (most, e plda szerint) a hromserpenys mrleget. De ezt a knyvelk s a
knyvvitel professzorai tbb mint 2300 ven t nem ismertk fel.
Pedig ez az adat-3-as, amita csak gazdlkodik az ember, attribtuma a gazdasgi esemnyeknek s benne van s volt mindig is a
knyvels knyvelk ltal ismert adathalmazban, ha agyagtblra
knyveltek is. Csak ezt sem ismertk fel.

Luca Paccioli: Az Aritmetiknak, Geometrinak, Mrtkeknek s Arnylataiknak foglalata (Velence, 1494), magyar
fordtsa a harmadik frsz XI. trakttusnak; 24. oldala.

13
A hagyomnyos knyvvitel s tana tbb mint 2300 ven t nem fej5
ldtt kielgten. Paccioli rta elszr le 1494-ben egy kezdetleges ketts knyvvitel alkalmazst, egy egyszer pldn bemutatva azt. Shr6 megalkotta 1890-ben a zrt szmlarendszert (Nmetl:
Das geschlossene Kontensystem. Schmalenbach7 s Kosiol 1933-ban
meglmodtak egy gynevezett dinamikus mrleget, amelyek voltakpp
statikusak. A knyvviteltan ekzben, Pacciolitl Schmalenbachig,
eljutott a ketts knyvvitel n. egyszmlasoros szmlaelmlettl,
a XX. szzad elejre, teht 400 v alatt, a ketts knyvvitel n.
ngy szmlasoros szmlaelmletig. Voltakppen, a hagyomnyos
knyvviteltan, 1910-tl napjainkig, azaz egy teljes vszzadon t
megvalsult aprbb vltoztatsaitl eltekintve fejldskptelenl
stagnlt. Professzoraik mig lerjk, hogy ltezik s hasznlhat
az n. egyszeres knyvvitel, ami alapvet tveds. Ezt is bizonytom ebben a munkban. s a ketts knyvvitel szmlaelmleteitl
sem tudtak elszakadni mg a szemlyi szmtgpek megjelense
utn, a XX. szzad vgn megkezddtt PC korban sem. St, a szoftverfejlesztk is, knyvel programjaikkal, mig, egyszeren utnozzk a manulis ketts knyvvitelt, gy azok is konzervljk az
elavult knyvviteli ismereteket s gyakorlatot. E mben ezt is bizonytom.
A hagyomnyos knyvvitelnek s tannak fejldse mra zskutcba jutott, s e tan egyenesen ortodoxsz vlt.
Ezrt 2004 elejn elkerlhetetlennek lttam a knyvviteli elemek
fellltst megksrelni s ezen keresztl az n-szeres (n3)
komplett (azaz kielgten informatv s a gazdasgi esemnyekre
nzve zrt rendszer) knyvvitel ltt, tulajdonsgait s az ltala nylt lehetsgek tg tert bemutatni. Bizonytom tovbb, egzakt mdon, hogy mind az n. egyszeres knyvvitel, mind az n.
ketts knyvvitel inkomplett. Ezek oktatsa s hasznlata, leginkbb ma a PC-k korban htrltatja a gazdasgi szereplk kielgt informcival val elltst s radsul nem egyszersti a
knyvelsi munkt sem.
Dntttem. Felfggesztettem a knyvkiads elkszleteit, s hozzfogtam a vagyonknyvviteli elemek sszelltshoz, Ez trtnt
egymsra pl defincik, aximk, ttelek, sokszor j, addig fel
sem merlt ttelek megfogalmazsval s bizonytsval. E tevkenysg, a knyvviteli elemek koherens rendszerbe foglalsval,
kellemes meglepetsknt, tovbbi j ismereteket is hozott.
Noha idkzben betegsg s mtt miatti hosszas lbadozs valamint keres foglalkozsom (outsider vagyok nem ffoglalkozs kutat) is akadlyozott clom mielbbi elrsben, mindazonltal
most, az eredmnyt vgre itt kzreadhatom. Ezen biztosan lehet
csiszolni. Lehet ezt bvteni is s javtani is. (E 2. kiads is
ezt tkrzi.) St! Mskpp is fel lehet ezt az axiomatikus rendszert pteni ez ma mr egyrszt tudomnyos kzhely, msrszt
5

Luca Paccioli: Az Aritmetiknak, Geometrinak, Mrtkeknek s Arnylataiknak foglalata (Velence, 1494), magyar
fordtsa a harmadik frsz XI. trakttusnak; 24. oldala.
6
Schr, Johann, Friedrich: Buchaltung und Bilanz; 69. oldal. (Knyvvitel s mrleg), Berlin, 1890, 1914, 1919.
7
Schmalanbach, Eugen: Dynamische Bilanz, 1933, Leipzig; Kosiol, Erich: Pagatorische Bilanz, 1976, Berlin.

14
tapasztalhat tny. Tny, ha sszevetjk pldul az euklideszi s
a Bolyai-Lobacsevszkij, valamint a Hilbert-fle geometrikat, mint
axiomatikus rendszereket. Tny viszont az is, hogy az ltalam lert modern knyvviteltannak ez az axiomatikus rendszere tbb mr
nem kerlhet meg s nem hagyhat figyelmen kvl, megtlsem
szerint, sem az oktatsban, sem a tudomnyos kutatsban.
Teht e pillanattal a knyvviteltan is tlpett az egzakt, egyrtelm s koherens terminusokkal valamint alapttelekkel megalapozott n. bizonyt, deduktv tudomnyok kz. Ha 2300 vet ksve, de t! A knyvviteltan ezzel csatlakozott a fejlett s modern,
egzakt tudomnyok sorba. Ennek mr itt volt az ideje.
Fontos leszgezni: Ez az elmletrendszer nem teszi hasznlhatatlann, rvnytelenn az eddigi knyvelsi gyakorlatot. Viszont e
tudomny fejldsn kvl, mind a menedzsment informciignynek
korszer kielgtse, mind a knyvelszoftverek ehhez igazod rdemi tovbbfejlesztse eltt megnyitja az utat.
E m az azonos cm knyv (438 oldal) harmadik fejezeteknt (ez
a knyv utols kb. 100 oldala) maga a tmny, br kzpiskols tudsszinttel is megrhet elmleti rsze a modern knyvviteltannak.
Aki (npszerst jelleggel is rt) tovbbi rszletes magyarzatokat kvn, annak javasolom elszr az emltett knyv els kt rsznek az elolvasst mely mr az OSZK-n kvl a nagyobb egyetemi knyvtrakban is magyar nyelven hozzfrhet.
Budapest, 2010. augusztus 18.
Gulys Istvn
kzgazdsz

15

A modern knyvviteltan alapjai:

Az n-szeres (n
3) knyvvitel elmletnek elemei s axiomatikus rendszere
1. A knyvvitel vagyonelmletnek elemei

1.1 Princpiumok
1.11 Defincik
1.111 Az ltalnos knyvvitel elmletnek fogalmai

1. Az {O1,O2,..,On}=(O,Re)=OC fggvny ltal kifejezett mveletet,

amely a nem res O halmaz elemei kztt rvnyes Re
ekvivalenciarelci szerint klcsnsen egyrtelmen egymshoz
rendeli az (O,Re) prt s az O halmaz Oi (i=1,2,...,n) diszjunkt
rszhalmazait, valamint az OC fggvny kimenett osztlyozsnak,
mg az O-t s annak minden Re szerinti Oi rszhalmazt
ekvivalenciaosztlynak, ill. rviden csak osztlynak nevezem.
O-ra s az Oi-kre nzve teljeslnek a kvetkez lltsok: (1)
OiOj=, ahol i,j=1,2,...,n s ij; (2) O1O2...On=O; (3) az
O halmaz kt eleme akkor s csak akkor eleme ugyanazon Oi osztlynak, ha ekvivalens egymssal az Re szerint. Az Re
ekvivalenciarelcit osztlyozsi aspektusnak fogom nevezni.
2. Ha egy osztlyt nem osztunk fel diszjunkt rszekre, akkor vgs, mg minden tovbb osztott osztlyt kzbls osztlynak nevezzk. Az eredeti, mg fel nem osztott halmaz neve abszolt,
mg a kzbls osztly egyben relatv alaposztly.
3. Valamely osztlyozs osztlyain rtelmezett mrtkfggvny (pl.
mint az osztly elemeinek mennyisge, pnzbeli vagy ms rtke,
stb.) rtkt, ha alap- vagy kzbls (relatv alap) osztlyhoz
tartozik, fsszegnek, ha vgs osztlyhoz tartozik, rszszszegnek nevezzk.
4. Egy osztlyozs szerkezete alatt azt rtem, hogy az alaposztly
mennyi s milyen osztlyokra, fsszege pedig milyen rszsszegekre bomlik.
5. Statikus osztlynak nevezem az olyan osztlyt, amely elemknt a
(0;t] idintervallum valamely p. (pt s p,t=1,2,..) idpontjban az alaposztly e rszben bennlv vagy abbl a p. idpontban vagy elbb elveszett elem(eke)t tartalmaz vagy tartalmazhatna az osztlyozsi aspektus szerint. Az ilyen vagyonosztlyokat eredmnyez osztlyozs neve statikus osztlyozs, mely
mindig egy p. idpontra vonatkozik.
6. Dinamikus osztlynak vagy mskpp a (V) vltozsok osztlynak
nevezem azt az osztlyt, amely az (r;t] idintervallumba (0r<t
s r,t egsz szm) es valamelyik idpillanatban az alaposztlyba (ill. annak egy adott rszbe) be- s/vagy tovbbi
elem(ek)knt onnan kikerlt eleme(eke)t (elemadagokat) tartalmaz, avagy az osztlyozsi aspektus szerint tartalmazhatna. Az
ilyen osztlyokra vezet osztlyozs neve dinamikus osztlyo-

16
zs, mely mindig az elem(ek) [elemadag(ok)] alaposztlyba val
be- s/vagy kikerlse, mskpp: a vltozsok (az alaposztly
elemsszessgnek, vagy rsznek nvekedse s/vagy cskkense), azaz az esemnyek kronolgija szerint alakul.
7. A C cskkensek osztlya az adott V vltozsok osztlynak az a
rszosztlya (CV), amely tartalmazza az (r;t] idintervallumban (0r<t s r,t egsz) vagy elbb (pl. a (0;r] intervallumban) az alaposztlyba bekerlt s/vagy a V-ben az (r;t] intervallumban az alaposztlybl kikerlt elemknt lv trgya(ka)t.
Azonban az (r;t] intervallumban az alaposztlybl kikerlt x
elem akkor s csak akkor lehet eleme a C-nek is, ha ugyanez az
x elem be is kerlt a V osztlyba az (r;t] idintervallumban
vagy elbb (pl. a (0;r] intervallumban).
8. Az E egyenlegosztly az (r;t] idintervallumban (0r<t s r,t
egsz) adott azonos aspektus V vltozsok s C cskkensek
osztlynak a V-C=E klnbsgosztlya. Jellemzje az E klnbsgosztlynak, hogy EC= s EC=V. Tovbb: Mivel V-C=E,
ezrt E minden elemnek megvan az a tulajdonsga, hogy az a t.
idpontban bennlv vagy hinyz eleme a V-nek, ezrt ezt az
(r;t] intervallumhoz tartoz E egyenlegosztlyt egyben a t.
idponthoz tartoz statikus osztlyknt is rtelmezzk, akkor
s csak akkor, ha (a) r=0 azaz: ha a V-hez, C-hez s az E-hez
tartoz idintervallum a (0;t], vagy (b) ha r0 akkor E egyenlegosztlyknt a (0;r] intervallum s az (r;t] intervallum
egyenlegosztlynak az unijt tekintjk.
9. Valamely OD dinamikus osztlyhoz illetve az OS statikus osztlyhoz tartoz f- vagy rszsszeg egyenl az (r;t] idintervallumban (0r<t s r,t egsz) az OD osztlyba be- s onnan kikerlt, illetve a t. idpontban az OS osztlyban bennlv s az
onnan hinyz trgyak mennyisgnek vagy pnzrtknek (vagy
ezek pozitv egytthats lineris transzformltja rtknek) a
klnbsgvel (mskpp: egyenlegvel).
10. Komplex vagy sszetett dinamikus osztlyozs alatt azt a dinamikus osztlyozst rtjk, amelyben az elemeket, az idaspektus
mellett, ms aspektus szerint is osztlyozzuk. Ha pldul A1 aspektus szerint is osztlyozunk, akkor A1-jelleg, ha A2 aspektus
szerint is osztlyozunk, akkor A2-jelleg sszetett dinamikus
osztlyozsrl beszlnk.
11. Transzformlt (rsz- s fsszeg) osztlyozsoknak nevezem
azokat az osztlyozsokat, amelyek csak az azonos osztlyukhoz
rendelt egy vagy tbb rszsszegkben s a fsszegben, valamint ezek egynem mrtkegysgben, de legalbb a mrtkegysgkben valamely transzformci szerint klnbznek, msban
nem.
12. Kumullt8 rszsszeg vagy kumulatv dinamikus osztlyozs9 az
olyan transzformlt (f- s rszsszeg) dinamikus osztlyozs,
melynek minden n-dik osztlyhoz (n=1,2,..,M) rendelt rszsz8
9

Kumullt = halmozott, vagy mskpp: gngyltett.

Ld. pldul az 1. fggelkben az y3 tblzatot s a diagramjait.

17
szege egyenl az els n osztly kumulci nlkli rszsszegeinek sszegvel. Kvetkezskpp a fsszege az M-edik idaspektus osztlyhoz tartoz kumullt rszsszeggel s nem az els
M kumullt rszsszeg sszegvel azonos.
13. Attribtum10 osztlyozsnak nevezem a tisztn idaspektus, valamint a tisztn statikus attribtum-aspektus osztlyozsokat,
tovbb brmely id-attribtum-aspektus komplex dinamikus osztlyozst fsszege s rszsszegei akr transzformltak,
akr nem. Eme osztlyozs attribtum-osztlyokat eredmnyez.
Minden ms osztlyozst opcionlisnak nevezek.
14. Termszetes osztlyozsnak nevezem azt a trtnst, amikor egy
esemny bekvetkezte meghatrozza valamely osztly keletkezst
vagy megvltozst. Az gy ltrejtt vagy megvltozott osztlyokat
termszetes
osztlyoknak
nevezem.
Az
attribtumosztlyok termszetes osztlyok is egyben.
15. Osztlyozsi rendszer alatt egy adott statikus alaposztly
s/vagy ezt az alaposztlyt eredmnyez vltozsok egy vagy
tbb osztlyozsa s osztlyai, valamint az ezen osztlyokhoz
tartoz f- s rszsszegek sszessgt rtem.
16. Mrlegnek nevezzk azt az osztlyozsi rendszert, mely az alaposztly kt klnbz attribtum-aspektus statikus osztlyozst vagy az elbbiek mellett mg az alaposztly dinamikus osztlyozst is, avagy az id-attribtum-aspektus osztlyozsok
mindegyikt (is) tartalmazza. A csak statikus osztlyozsokbl
ll mrleget statikus, a csak dinamikus osztlyozsokbl llt
dinamikus, a tbbit vegyes, azaz dinamikus s statikus mrlegnek nevezzk.
17. A mrlegbeli osztlyozsok fsszegeit mrlegfsszegeknek, a
vgs osztlyok rszsszegeit mrlegrszsszegeknek nevezzk.
18. Kielgten informatv valamely osztlyozsi rendszer, ha legalbb az alaposztly statikus attribtum-aspektus osztlyozsait s a tiszta idaspektus dinamikus osztlyozst, vagy ha
az sszes id-attribtum-aspektus komplex dinamikus osztlyozsait tartalmazza.
19. Zrtnak nevezem az osztlyozsi rendszert az alaposztlyban
lehetsges vltozsokat hoz esemnyekre nzve akkor s csak
akkor, ha e lehetsges esemnyek brmelyiknek bekvetkezsekor
vannak az osztlyozsi rendszerben az esemny jellegnek megfelel olyan rszsszegek, amelyek az esemny eltti llapotukhoz
kpest, az esemny tartalmnak megfelelen, megvltoznak.
20. Egy osztlyozsi rendszert komplettnek nevezek, ha az kielgten informatv s zrt az alaposztlyban lehetsges vltozsokat hoz esemnyekre nzve.
21. Lehetetlen esemny11 az olyan esemny, melynek bekvetkezte kapcsn olyan rszsszegnek kellene eljelet vltani, amelynl az
10

Attribtum = valamely dolognak vagy dolgok halmaznak, illetve valamely jelensgnek az a tle elvlaszthatatlan
tulajdonsga, amely nlkl az nem ltezhet, ill. nem gondolhat el.
11
A lehetetlen esemny emlegetse ugyanolyan elvi megszorts funkcijt tlt be, mint pldul amikor az 1/x mell
megszortsknt odarjuk, hogy: x0. Hisz nyilvnval, hogy a nullval val oszts nemcsak rtelmetlen, de egyttal
lehetetlen is - ha az oszts mveletvel szemben meg akarjuk kvetelni, hogy az a valsgra nzve is rvnyes, a valsgban is elvgezhet legyen. Ugyanilyen kijelents tehet a lehetetlen esemnnyel kapcsolatban is. Pldul ez: semmi-

18
az rintett osztly avagy az esemny jellege miatt nem lehetsges.
22. Esemnykoordintk alatt az osztlyozsi rendszer (vagy rszrendszer) osztlyozsainak sorrendjben rendezett olyan adat-nest vagy n elem sorvektort (n2) rszrendszer esetn (n1)
rtek, amely az elemei rvn mutatja, hogy az esemny miatt a
osztlyozsi rendszerben (vagy rszrendszerben) mely vgs osz12
tlyok rszsszege s hogyan vltozik (n vagy cskken).
23. rtelmes (mskpp: relis) az olyan esemnykoordinta-n-es,
amely a lehetsges esemny valamelyiknek bekvetkezse kapcsn, az osztlyozsi rendszerben azokat s csakis azokat a
vgs vagyonosztlyokat jelli meg maradktalanul , amelyeknek az esemny jellege s tartalma szerint meg kell vltozzon a
rszsszegk.
24. Az osztlyozsi rendszer karakterisztikjnak nevezem a rendszer azon vgs osztlyainak szmt, amelyeknl egy esemny
kapcsn, megvltozik a rszsszeg.
25. Valamely osztlyozsi rendszer kt osztlyozsa (egymstl)
fggetlen a csak strukturlis vltozssal jr esemnyekre nzve azrt mert, ha egy ilyen esemny bekvetkezik, akkor csak az
egyik osztlyozs kt vgs osztlynak rszsszege azonos
abszolt rtkben, de ellenkez eljellel vltozik.
26. N-aspektus, avagy explicit N-szeres (N3) osztlyozsi rendszer alatt azt az osztlyozsi rendszert rtem, amely adott
idpontban legalbb az alaposztly tiszta dinamikus (azaz idaspektus), valamint a statikus attribtum-aspektus osztlyozsait egytt tartalmazza.

bl nem lehet valamit elvenni, vagy: ha valami ltez dolognak az az egyik jellemzje, hogy negatv mennyisg, akkor
nem lehet belle nla nagyobb abszolt rtk negatv mennyisget elvenni, mert akkor a mennyisge pozitvv vlik,
ami ugyebr ellenttes a dolog feltett tulajdonsgval. Voltakppen mind az 1/x melletti x0, mind a lehetetlen esemny
emltse pusztn a tmakrben elegend ismerettel nem rendelkez embernek szl figyelmeztets - klnben akr ki
sem kellene ezeket jelenteni.
12
A hagyomnyos knyvvitelben ezt kontrozsi sszefggsnek, az n-szeres knyvvitelben osztlykoherencinak is
nevezzk. Eme adat-n-es, vagy mskpp az esemnykoordinta-n-es i-ik adata (i=1,..,n) mondjuk pontosvesszvel
elvlasztva a tbbi adattl , jelzi azt, hogy az eszkz (ekkor i=1), a forrs (ekkor i=2), illetve ms, tovbbi (ekkor i=n)
aspektus vagyonosztlyozson bell volt-e s milyen jelleg rszsszegvltozs. (Az idkoordintt nyilvn az esemny idpontadata adja meg az ezrt nincs itt kln is felsorolva.) Teht vagy azt jelzi egy nvvel s/vagy egy
szmmal, hogy az idn kvli, i-ik aspektus vagyonosztlyozsban egyltaln nincs vltozs (pl.: a "nulla" nvvel vagy
a "0" szmjeggyel, vagy azt, hogy van. Ha van, ekkor az adott vagyonosztlyozson bell megvltoz rszsszeg
vagyonosztly azonostadatt (nevvel vagy szmval), s rszsszege vltozsnak jellegt (nvekedst vagy cskkenst, pl.: eljellel vagy elre rgztett sorrenddel) is jeleznie kell. (Pl.: legyen nvekeds a 381-es eszkzosztly
rszsszegben. Ekkor az i=1 sorszm adat lehet: 381, pl. a pnztri pnzkszlet osztlynak azonostszma. Vagy
csak cskkens ugyanitt, ekkor lehet ez az adat: -381, avagy nvekeds a 381-es eszkzosztlyban s cskkens a 384es (pl.: bank) eszkzosztlyban. Ekkor legyen ez az i=1-es adat: 381-384. De termszetesen a megads nvvel is trtnhet. Pldul: az elbbi eszkzosztlyban csak rszsszeg nvekedsekor az i=1-es adat: pnztr. Csak cskkensekor pnztr. Vagy ugyanitt egy osztly rszsszegnek nvekedse, mg egy msik cskkense esetn az i=1-es adat legyen
pl.: pnztr-bank.) Ha teht egy gazdasgi esemny kapcsn pl. csak strukturlis vltozs volt, akkor az esemnykoordinta-n-es (N=3-1 mellet a ltez aspektusok s vagyonosztlyozsok ekkor id-eszkz-forrs jellegek) a kvetkez
lehet pl.: <381-384;0> vagy <pnztr-bank; nulla>. Vagyonnvekedskor az esemnykoordinta pl. lehet: <381;911>,
vagyoncskkenskor pedig pl. lehet: <-381;-471 >. Mindenesetre: az adat-n-es a vltozs helyt (azaz: mely osztlyozsban, melyik osztly rszsszege vltozik) s jellegt (n vagy cskken a rszsszeg) kell mutassa - ezrt is nevezhet analgival lve esemnykoordintnak -, mg az adat-n-es tnyleges konstrukcijnak kialaktsa, funkcijnak
alrendelve, szabadon megvlaszthat. Azaz a formja vltozhat, a tartalma nem, mert az utbbi objektve adott.

19
27. Implicit idaspektus, vagy rviden implicit N-szeres (N2)
osztlyozsi rendszer alatt azt az osztlyozsi rendszert rtem, amely egy meghatrozott idpontban adott alaposztlynak
legalbb az idattribtum aspektus komplex dinamikus vagyonosztlyozsait mind egytt tartalmazza.
28. N "serpenys", vagy mskpp: N-szeres (N2) mrlegnek nevezem
az implicite N-szeres (N2) vagy explicite N-szeres (N3) osztlyozsi rendszert.
1.112 Az vagyonknyvvitel vagyonelmletnek fogalmai13

1. Bruttvagyon alatt a gazdlkod14 adott idpontban ltez vagyont15 alkot vagyontrgyainak sszessgt vagy16 sszes mennyisgt vagy sszes pnzbeli rtkt rtjk.
2. Nettvagyon (mskpp: sajt vagyon) alatt a gazdlkod adott
idpontban, azonos mrtkegysgben kifejezett bruttvagyonnak17
s adssgnak18 (mskpp: idegen vagyonnak) a klnbsgt rtjk.
3. Leltrozsnak nevezzk a gazdlkod adott idpontban fellelhet
(ltez) brutt- s nettvagyona, valamint adssga/idegen vagyona individuumainak mennyisg s pnzrtk, de legalbb menynyisg szerinti teljes kr szmbavtelt.
4. Leltrnak nevezzk a leltrozssal nyert adatok sszessgt.
13

Az ltalnos s a specilis knyvvitelek fogalmai e ponton elklnlnek egymstl. A specilis knyvvitelek csoportosthatk aszerint, hogy a knyvels bizonylatokon alapul-e vagy sem, vagy aszerint, hogy az alaphalmaz elemeinek
mennyisge, avagy az elemek valamely pozitv egytthatj lineris transzformltjnak sszrtke () az idben monoton nem cskken vagy az idben az rtk a [0;M s 0<M<+] intervallumban brmely rtket felvehet, s adott
esetben a grbje hullmzik (-nek van, vagy vannak maximumrtkei). Utbbit nevezzk opcionlisan hullmz
mennyisg-rtk halmaznak. Ez utbbi knyvvitelosztlynak a bizonylatokon alapul knyvviteli alosztlyba tartoz
egyik specilis knyvvitele az e knyvben trgyalt vagyonknyvvitel is. Valamint ide tartozik pldul a telefonszmok
nyilvntartsa (knyvvitele ennek bizonylatai a szolgltatsi szerzdsek), a knyvtri klcsnzs knyvvitele (bizonylatai a klcsnzsi jegyek), stb. A nem bizonylaton alapul knyvvitelek monoton nem cskken rtk alosztlyba tartozik pldul a specilis knyvvitelek kzl az iskolai tuds knyvvitele (ennek kronologikus adatbzisa az
osztlynapl s tudsmrlegre vezet ld. A). fggelk), vagy pldul a havi telefonhvsok kltsgnek knyvvitele (ez
pl. id-hv szmok-hvott szmok-aspektus mrlegre vezetett ld. B) fggelk), vagy a futballban a piros-srga lapok
knyvvitele .
14
Itt a gazdlkod definilatlan alapfogalom csakgy, mint pl. a kvetkezk fogalmak: vagyon, vagyontrgy, adssg,
kvetels, ads, hitelez, halmaz, halmaz eleme, rszhalmaz, diszjunkt, uni (egyests), metszet/kzs rsz, res halmaz, ekvivalenciarelci, fggvny, fggvnyrtk, mrtkfggvny, mennyisg, pnzrtk, klnbsg (egyenleg),
gazdasgi esemny.
15
A vagyon is teht definilatlan alapfogalom. Elmondhat a vagyonrl, hogy az a gazdlkod tulajdonban lv,
pnzrtkkel br s forgalomkpes (vagyis eladhat) javak sszessge. E javak lehetnek anyagi s nem anyagi
(immaterilis) javak (utbbiak ms szval: jogok).
16
A vagy szt e mben mindig kizr vagy rtelemben hasznlom az s/vagy kifejezssel szemben, melynek helyi
rvnyt mindig kln jelzem.
17
A bruttvagyon voltakpp a semmivel nem cskkentett vagyon, melynek tbb a lnyeget ms-ms nzpontbl
megkzelt rvnyes defincija van. Az egyik pldul a nett vagyon defincija alapjn a kvetkez lehet: Bruttvagyon az azonos idpontban s mrtkegysggel kifejezett sajt s idegen vagyon algebrai sszege (ld. mg az 5. ttelt.).
18
Az adssg is itt definilatlan alapfogalom, melyrl ltalban ismert tny, hogy valamely gazdlkod fizetsi ktelezettsge, mely pnz s/vagy ms vagyontrgy tadsra, illetve egyb ellenszolgltats elvgzsre vonatkozik. E fizetsi ktelezettsg nem forgalomkpes (azaz nem eladhat), s ennek teljestsvel msnak jog szerint tartozik a
gazdlkod.

20
5. A vagyonosztlyozs olyan osztlyozs melynek abszolt alaposztlya vagy azonos a vagyontrgyak halmazval egy adott idpontban, vagy azonos egy adott idszakban bekvetkezett vagyonvltozsok halmazval.
19
eszkznek, rviden: eszkznek nevezzk a vagyon
6. A gazdlkods
brmely trgyt, ha osztlyba sorolsakor tulajdonsgai kzl
csak a fajtjt ill. gazdlkodsbeli rendeltetst vesszk tekintetbe, mg ms tulajdonsgtl elvonatkoztatunk. Ezt az osztlyozsnl figyelembevett tulajdonsgot eszkzaspektusnak nevezzk. Eszkzk (eszkzfajtk) alatt azokat a termszetes statikus vagy dinamikus attribtum vagyonosztlyokat rtjk,
melyeknek minden eleme egy eszkzaspektusnak megfelel vagyontrgy, illetve az ilyen vagyontrgyak dinamikus vagyonosztlyba
val be- s/vagy onnan val kikerlse miatt ltrejtt vagyonvltozs.
7. Eszkz jelleg vagyonosztlyozs alatt mindazokat a vagyonosztlyozsokat rtjk, amelyekben legalbb eszkzaspektus szerint
osztlyozunk.
8. Forrsnak, a vagyon forrsnak vagy ms elnevezssel: az eszkzkben testet lt, a gazdlkodshoz szksges s annak rvn
gyarapod vagy fogy tknek nevezzk a vagyon brmely trgyt,
ha osztlyba sorolsakor azt a tulajdonsgt vesszk csak figyelembe, hogy az a gazdlkod sajt tulajdona (sajt vagyon)
avagy msnak tartozik azzal (idegen vagyon), mg ms tulajdonsgtl elvonatkoztatunk. Ezt az osztlyozsnl figyelembevett
tulajdonsgot forrs- vagy tkeaspektusnak nevezzk. Forrsok
vagy tkk (forrs- vagy tkefajtk) alatt azokat a termszetes
statikus vagy dinamikus attribtum vagyonosztlyokat rtjk,
melyeknek minden eleme egy forrs- vagy tkeaspektusnak megfelel vagyontrgy, illetve az ilyen vagyontrgyak dinamikus vagyonosztlyba val be- s/vagy onnan val kikerlse miatt ltrejtt vagyonvltozs.
9. Forrsjelleg vagyonosztlyozs alatt mindazokat a vagyonosztlyozsokat rtjk, amelyekben legalbb forrsaspektus szerint
osztlyozunk.
10. Idaspektus vagyonosztlyozsnak (rviden: idosztlyozsnak)
nevezem az olyan termszetes dinamikus attribtum vagyonosztlyozst, amely az (r;t] intervallum t idpontjban (0r<t s
r,t egszek) ltez bruttvagyonnak vagy valamely rsznek a
vltozsait M darab (M=2,3...) diszjunkt vgs idosztlyba sorolja, a vltozsok idpillanata szerint. Az idaspektus attribtum vagyonosztlyozsnl az osztlyozand vagyontrgy(ak)
minden tulajdonsgtl elvonatkoztatunk, kivve, hogy a vagyonba be vagy onnan ki az (r;t] intervallumban illetve annak valamely adott rszintervallumban kerlt(ek), azaz ekkor nveli(k)
vagy cskkenti(k) a vagyont. Idosztlyozskor kt vagyontrgy
akkor s csak akkor kerlhet ugyanabba az intervallumba (id19

Gazdlkods a gazdlkod ama tevkenysge, hogy a vagyont valamely cl elrse rdekben gyaraptja, illetve
fel- vagy elhasznlja, avagy egyszeren csak magra hagyja. Az utbbi nyilvn a lehet legrosszabb vlfaja a gazdlkodsnak.

21
osztlyba), ha a vagyonba val be- vagy abbl val kikerlsk
idpontja mindkettnek ugyanabban az idosztlyban van.
11. Adssgjelleg vagyonosztlyozs alatt a forrsjelleg vagyonosztlyozsnak azt a rszt rtjk, amelyben az adssgalosztlyba tartoz vagyontrgyakat, azaz az idegen vagyon trgyait
msodlagosan nem idaspektus, hanem ms aspektus szerint osztlyozunk.
12. Alaptknek vagy jegyzett tknek (sszefoglalan kezdtknek)
nevezzk a sajtvagyon azon vgs termszetes osztlynak rszsszegt, amely azt mutatja, hogy a gazdlkod, a gazdlkodst
mekkora bruttvagyonnal kezdte. A mdostsakor azt mutatja,
hogy mennyi tovbbi vagyont kellet tkeemelsknt ptllag s
vgleg befektetni, vagy mennyi vagyont lehetett nlklzni s
gy tkeleszlltsknt vgleg kivonni a gazdlkodsbl.
13. Tketartalknak nevezzk a sajtvagyon azon vgs termszetes
osztlynak rszsszegt, mely azt mutatja, hogy a gazdasg tulajdonosa(i) vagy ms(ok), mikor s mekkora tovbbi vagyont
vont(ak) be vglegesen a gazdlkodsba, vagy vontak ki onnan
nem szmtva a kezdtkt.
14. A t. idpontban (t=1,2,...) ltez halmozott hozam (rtk)
alatt
a
gazdlkods
(0;t]
idszakban
elrt
sajtvagyonnvekmny rtend nem rtve ide a kezdtke
s/vagy a tketartalk nvekmnyt. E sajtvagyon nvekmny
testet lthet brmely pnzbevtel, kapott ru s/vagy szolgltats (bartergyletknt20 is), vagy elismert kvetels, tovbb
a vagyon termszetes szaporulata illetve adssgelengeds formjban. Ez a sajtvagyonnvekmny azonos a sajtvagyon nev
statikus relatv alaposztly halmozott hozam nev vgs termszetes osztlynak rszsszegvel a t. idpontban.
15. Folyidszaki hozam alatt a trgyidszak s az elz idszak
halmozott hozamnak klnbsgt rtjk.
16. A t. idpontban (t=1,2,...) fennll halmozott rfordts (mskpp: kltsg) alatt a gazdlkods (0;t] idszakban bekvetkezett sajtvagyoncskkens rtend nem rtve ide a kezdtke
s/vagy a tketartalkok cskkenst. E sajtvagyoncskkens
azon bell a vesztesg21 nvekedse testet lthet brmely eszkzfelhasznls, vgleges pnzkiads,22 adott ru, teljestett
szolgltats, keletkezett ktelezettsg, valamint a vagyon termszetes fogysa illetve kvetels elengedse formjban. Ez a
sajtvagyoncskkens azonos a sajtvagyon nev relatv alaposztly rfordts (kltsg) nev vgs termszetes osztlynak
rszsszegvel a t. idpontban.

20

ruval vagy szolgltatssal ellenttelezett kereskedelmi gylet.

A vesztesg (a gazdlkods vesztesge) e vagyonknyvvitelben alapfogalom, s a nem tkebett vagy tketartalk
jelleg sajtvagyonrsz cskkensnek, azaz kifejezetten a gazdlkods miatti "sajtvagyon-veszts" szinonimja.
22
Nem minden kiads kltsg is egyben. Pl. ha kszpnzen, raktrra anyagot vesznk, vagy kszpnzt vesznk ki a
pnztrbl, s azt a bankszmlra befizetjk, stb. Ezek mindssze a vagyon forma- illetve struktravltozst jelentik,
mde nem okoznak vesztesget kvetkezskpp nem kltsgek ( nem rfordtsok). Viszont elbb vagy utbb minden kltsg kiadst jelent.
21

22
17. Folyidszaki rfordts (kltsg) alatt a trgyidszak s az
elz idszak halmozott rfordtsnak (kltsgnek) klnbsgt rtjk.
18. A halmozott brutt, vagy mskpp halmozott adzatlan eredmny
(rviden: halmozott eredmny) alatt a halmozott hozam s a halmozott rfordts (kltsg) algebrai sszegt rtjk.
19. A folyidszaki (ves, negyedves, havi, stb.) brutt, vagy
mskpp folyidszaki adzatlan eredmny (rviden: folyidszaki eredmny) alatt a folyidszaki hozam s a folyidszaki rfordts (kltsg) algebrai sszegt rtjk.
20. Ha a halmozott vagy a folyidszaki brutt eredmny kisebb,
mint nulla, akkor halmozott illetve folyidszaki vesztesgnek,
ha nagyobb, akkor halmozott illetve folyidszaki nyeresgnek
nevezzk.
21. Vagyonmrlegnek nevezzk azt a mrleget, amely kt vagy tbb
klnbz, de legalbb statikus eszkz- s forrs vagy dinamikus id- valamint statikus eszkz- s forrs vagy id-eszkzs id-forrs aspektus vagyonosztlyozst tartalmaz.
22. Klasszikus vagyonmrlegnek23 nevezzk a vagyon statikus, csak
eszkz- s forrs vagyonosztlyozs, pnzrtkben kifejezett
rsz- s fsszeg mrlegt.
23. A gazdlkod anyagi helyzete alatt brutt- s nett vagyona,
valamint adssga/idegen vagyona adott idpontbeli nagysgt,
tovbb osztlyai s rszsszegei szerinti szerkezett rtjk.
24. Kielgten informatvnak nevezem a vagyonosztlyozsi rendszert, ha az a gazdlkod adott idpontbeli anyagi helyzett s
legalbb bruttvagyonnak ezen idpontig tart idbeli vltozsait idaspektus vagyonosztlyozsa rvn mutatja.
25. Gazdlkodra jellemz vagy mskpp: gazdlkodspecifikus gazdasgi esemnyek24 alatt adott gazdlkod vagy gazdlkodtpus
gazdasgi
tevkenysge
(gazdlkodsa),
valamint
gazdasgi
s/vagy trsadalmi-termszeti krnyezete hatsra gazdasgban
bekvetkezett gazdasgi esemnytpusok sszessgt rtem.
26. Zrtnak nevezem a gazdlkodspecifikus gazdasgi esemnyekre
nzve a gazdlkod vagyonosztlyozsi rendszert akkor s csak
akkor, ha a gazdlkodspecifikus gazdasgi esemnyek brmelyiknek bekvetkezsekor vannak a vagyonosztlyozsi rendszerben
23

Ld. pldaknt a 4. fggelket.

E defincival kapcsolatban lssunk nhny pldt.
Gazdlkodsra jellemz gazdasgi esemnytpus pldul egy klkeresked (cg) esetben az exportrtkests s az
importbeszerzs, szemben pl. egy belkereskedelmi cggel, ahol az elbbi gazdasgi esemnyek jellemzen nem fordulnak el minthogy ms a gazdlkodsi profiljuk. Vagy pldul: ptipari szolgltats rtkestse egy ptvllalkozs tipikus gazdasgi esemnye, m egy fodrszat esetben nem jellemz mert ms a gazdlkodsi profil.
A gazdasgi krnyezet hatsa mutatkozik meg a klnfle rfolyamnyeresgek s vesztesgek keletkezsnek gazdasgi esemnyeiben, amelyek nyilvnvalan nem minden gazdlkodra jellemzek. Viszont a jtkad fizetse gpenknt egy jtk-automatkat zemeltet vllalkoz esetben a trsadalmi krnyezete (azaz a trvnyhozs ltal megszabott jogszablyok) hatsra bekvetkez jellemz gazdasgi esemnytpus, mg ez az esemnytpus nem jellemz
jtk-automatkat nem zemeltet vllalkozk, pl. a klkeresked vagy az pt cg s a fodrszat esetben. A termszeti krnyezet hatst mutat jellemz gazdasgi esemnytpus a pl. a nvnyeket rt fagyskrok miatti kltsgelszmols egy nvnytermesztssel foglalkoz mezgazdasgi gazdlkod esetben, mg ez az esemnytpus nem merlhet fel pl. egy banknl, vagy a mr emltett klkeresked, illetve egy pt cg s egy fodrszat esetben.
24

23
az esemny jellegnek megfelel olyan rszsszegek, amelyek az
esemny eltti llapotukhoz kpest, az esemny tartalmnak megfelelen, megvltoznak.
27. Egy vagyonosztlyozsi rendszert komplettnek nevezek, ha az kielgten informatv s zrt a gazdlkodspecifikus gazdasgi
esemnyekre nzve.
28. N-aspektus, avagy explicit N-szeres (N3) vagyonosztlyozsi
rendszer alatt azt a vagyonosztlyozsi rendszert rtem, amely
meghatrozott idpontban adott bruttvagyonnak legalbb az egyszer dinamikus (azaz id-), valamint a statikus eszkz- s a
statikus forrsaspektus vagyonosztlyozsait egytt tartalmazza.
29. Implicit idaspektus, vagy rvidebben implicit N-szeres (N2)
vagyonosztlyozsi rendszer alatt azt a vagyonosztlyozsi
rendszert rtem, amely egy meghatrozott idpontban adott bruttvagyonnak legalbb az ideszkz s az idforrs aspektus
komplex dinamikus vagyonosztlyozsait egytt tartalmazza.
30. N "serpenys" vagy mskpp: N-szeres (N2) vagyonmrlegnek nevezem a bruttvagyon implicite N-szeres (N2) vagy explicite Nszeres (N3) vagyonosztlyozsi rendszert.
31. (Valdi) dinamikus vagyonmrlegnek nevezem az implicite idaspektus, mskpp implicite N-szeres (N2) vagyonosztlyozs
mrleget, mg az explicite N-szeres (N3) vagyonosztlyozs
mrleg neve legyen dinamikus s statikus vagyonmrleg.

1.12 Aximk

25

1.121 A vagyon s ms kronologikus halmazok aximi

1. Ha valamely idpontban egy eszkzaspektus statikus vagyonosztly nem res, azaz: van benne egy vagy tbb vagyontrgy, akkor
s csak akkor az osztly vagyontrgyak mennyisgt26 kifejez
f- vagy rszsszege nagyobb, mint nulla (A1).
27
P. : 1./T1.
2. Ha egy adott idpontban valamely statikus osztly res, akkor
s csak akkor az osztly f- vagy rszsszege egyenl nullval.
(A2).
P.: 1./T3,T4,T5,T7,T11,T12,T13,T14,T18,T19,T21,T23,T24,T29.
3. Brmely dolog pnzbeli rtke, azaz egysgra, csak pozitv
szm28 lehet (A3).
25

Axima: az adott tudomnyterleten bell kln bizonyts nlkl igaznak elfogadott a ttelek bizonytshoz
premisszaknt felhasznlt llts, alapttel. Megjegyezzk, hogy valamely tudomnyos trgykrhz tbbfle axiomatikus rendszer is felpthet. Ezrt az aximk krt mskpp is kialakthatnnk. Ekkor addhat az is, hogy az itt felsorolt aximk nmelyike ttelknt bebizonythatv vlik. Mi - alapos megfontols utn - ezt az lltshalmazt vlasztottuk aximink sszessgnek.
26
Ez ha pnzmennyisg, akkor nyilvn pnzbeli rtk egyben.
27
A "P.:" utni felsorols azt mutatja meg, hogy az llts mely kvetkez ttelben van premisszaknt felhasznlva.

24
P.: 1./T1.
4. Ha egy osztlyozs pronknt diszjunkt osztlyain valamely mrtkfggvny29 (vagy annak pozitv egytthats lineris transzformltja) rtelmezett, akkor e fggvny ltal a vgs osztlyokhoz rendelt rszsszegek sszege egyenl az alaposztlyhoz
rendelt fsszeggel (A4).
P.: 1./T1, T11, T16, T19, T28.
5. Legyen V a vltozsok dinamikus osztlya, C a V-nek megfelel
cskkensek dinamikus osztlya s E ezek dinamikus klnbsg
(vagy egyenleg) osztlya (V-C=E) a (0;t] idintervallumban
(t=1,2,..). Tovbb legyen E a V-beli vltozsok eredmnyeknt
ltrejtt statikus osztly a t. idpontban, melyre ll, hogy
E=E. Ekkor a (0;t] idintervallumban a V vltozs-osztlyban
az esemnyek kapcsn trtnt vltozsok (nvekedsek s/vagy
cskkensek) klnbsge (vagy: ha a cskkensek negatv eljelek, akkor algebrai sszege), azaz a V-C=E fsszege egyenl a
t. idpontbeli E statikus osztlyhoz tartoz sszeggel legyen az akr f- akr rszsszeg (A5).30
P.: 1./T11, T16, T27, T28.
6. Egy (abszolt vagy relatv) alaposztlynak nincs kt azonos
osztlyozsa (A6).
P.: 1./ T1, T16, T17, T18.
7. Ha a gazdlkod magra hagyja a vagyont vagy annak brmely rszt, akkor annak nagysga s pnzrtke, de legalbbis a pnzrtke (vagy ms pozitv egytthats lineris transzformltjnak rtke) a termszeti s/vagy trsadalmi s/vagy gazdasgi
krnyezet ltal kivltott gazdasgi esemnyek hatsra az id
mlsval monoton cskkenve tart a nullhoz (A7).
P.: 1./T15, T17, T29.
1.122 Az adssg aximi

8. Ha a gazdlkodnak valamely idpontban van vagyona, akkor van

azonos mrtk szerinti azzal egyenl vagy nem egyenl nagysg adssga is; viszont ha nincs vagyona, akkor vagy adssga
sincs, vagy csak adssga van s ms eset nem lehetsges (A8).
P.: 1./T3, 3./T1, T3, T4.
9. Az ads gazdlkodnak van hitelezje s adssga, mellyel a hitelezjnek tartozik, hitelezjnek pedig van kvetels formjban lv vagyona, melyet adstl kvetelhet (A9).
28

Termszetesen van olyan eset, amikor valamely vagyontrgyra nincs kereslet, s ezrt pp nem r semmit, azaz nulla a
piaci ra (a forgalmi rtke), jllehet ekkor is van nullnl nagyobb hulladkrtke. Vagy elfordulhat az is, hogy mg
neknk kell fizetni, hogy megszabaduljunk tle. Ekkor ez negatv rknt is felfoghat lenne, mde ez a kltsg valjban nem a dolog ra, hanem az eltntetsnek a dja, ami ugyebr nem ugyanaz! Ezrt ezektl az esetektl nyugodtan
eltekinthetnk.
29
Vagyonmennyisget vagy vagyonvltozs-egyenleget, ill. ezek pnzbeli rtkt (vagy ms pozitv egytthats lineris
transzformltjt) kifejez fggvny
30
Ez az axima ttel is lehetne, mert az llts a V s C vagyonvltozs-osztlyok, valamint a statikusknt is rtelmezhet E egyenlegosztly defincija s a hozzjuk tartoz rsz- illetve fsszegek meghatrozsa alapjn bizonythat.
mde didaktikai megfontolsokbl e bizonytst mellztem.

25
P.: 1./T2, 3./T1, T3, T4.
10. Az ads adott idpontban ltez adssga egyenl hitelezjnek
vagy hitelezinek vele szemben ugyanakkor fennll az ads
ltal elismert sszes kvetelsvel (A10).
P.: 1./T2.
11. Ha a gazdlkod magra hagyja a vagyont vagy annak brmely rszt, akkor adssgnak mrtke a termszeti s/vagy trsadalmi s/vagy gazdasgi krnyezet ltal kivltott gazdasgi
esemnyek hatsra az id mlsval monoton nvekedve tart a
plusz vgtelenhez (A11).
P.: 1./T15, T17.
1.123 Gazdasgi s ltalnos esemny-aximk

12. Gazdasgi esemny csak a gazdlkod gazdasgi tevkenysgnek

vagy gazdasga termszeti-, trsadalmi- ill. gazdasgi krnyezetnek hatsra kvetkezik be (A12).
P.: 1./T15, T19.
13. Ha valamely esemny megtrtnt, akkor ismert legalbb: (1) annak megnevezse, akivel/amivel az esemny trtt (2) az esemny
idpontja, (3) az esemny neve vagy lersa, melybl a az rintett osztlyozsi rendszerben megvltoz rszsszeg vgs osztlyokra lehet kvetkeztetni, (4) a vltozs mennyisge s/vagy
pnz- vagy ms rtke (vagy ezek ms pozitv egytthatj lineris transzformltjnak rtke) (A13). Ezt az alapttelt (aximt) az esemny-attribtumok trvnynek fogom nevezni.
P.: 1./T15, T19, T28.
14. Az esemnyeknek a megvltoz rszsszegekhez idosztlyokon
kvl tartoz vgs osztlyokat s a vltozsuk jellegt megjell adata (azaz az esemny megnevezse vagy lersa) s az
esemny koordinti, jelentsket tekintve ekvivalensek s klcsnsen egyrtelmen megfelelnek egymsnak (A14).
P.: 1./T19, 2./T7.
15. Valamely t. idpontban (t=1,2,...) bekvetkezett gazdasgi esemny kapcsn az rintett vagyonosztlyozs [a] egyetlen vgs
vagyonosztlynak rszsszege n, vagy [b] cskken egy X>0
sszeggel (a cskkensre jellje c ll: c=-X<0), vagy [c]
egyik vgs vagyonosztlynak rszsszege egy X>0 sszeggel
cskken, mg egy msiknak a rszsszege ugyanezen X>0 sszeggel n31 (a [c] esetben nevezzk az esemnyt csak struktravlt
vagy rviden kompenzatv gazdasgi esemnynek). Ms jelleg
elemi vagyonvltozs, gazdasgi esemny kapcsn, nem lehetsges
(A15).
P.: 1./T9, T19. 3./T6.
16. A gazdasgi esemnyek kztt vannak olyanok, amelyek nem rintik a gazdlkod pnzeszkzeit (A16).
31

rtelemszeren csak ebben a sorrendben: elbb egyik cskken, majd a msik ugyanannyival n

26
P.: 1./T17, T22.

1.2 A vagyonelmlet ttelei s bizonytsuk32

Fontos sajtja az itt kvetkez vagyonelmleti ttelek bizonytsnak az, hogy ezekben noha a knyvvitel vagyonelmletrl van
sz nem hivatkozom semmifle knyvviteli szablyra. Ez ugyanis
alapvet stratgiai clom a knyvvitel vagyonelmletnek felptsekor, mert csak gy lehet meggyzen kimutatni, hogy az anyagi
helyzetet meghatroz f tnyezk, a vagyon s az adssg, illetve
ezek idben vgbemen mennyisgi vltozsnak jellege hatrozza
meg a knyvvitel jellegt s nem fordtva, valamint azt, hogy a
vagyon- s knyvvitelelmlet nem ms, mint sajtos trgy matematika.
Sajtossga mg e bizonytsoknak az is, hogy a vagyonosztlyozsok s a vagyonosztlyokon rtelmezhet fggvnyek (a vagyon
mennyisge, pnzrtke, ezek vltozsa, stb.) egzisztencijnak
biztostsa mellett, az elmletrendszer felptsnl, a ttelek
megfogalmazsnl s bizonytsuk nha aprlkos mdjnl a
tudomnyos szabatossg irnti ignnyel egyenrangak voltak a didaktikai megfontolsok is. Ilyen didaktikai szempontok nlkl tbb
ttel bizonytsa nyilvnvalan lnyegesen rvidebb s egyszerbb
lehetne.

Attribtum-osztlyozsok s az osztlyaik tulajdonsga

1. Ttel: A t. idpontban (t=1,2,...) ltez bruttvagyon, illetve annak brmely eszkzaspektus
statikus vagyonosztlyban lv rsze mennyisgt s pnzrtkt (vagy ms jellemzje mrtn

kt) csak pozitv szmmal33 fejezhetjk ki (formulval: V>0, avagy mskpp jellve: VBR=

Ji>0,
i =1

ahol Ji>0 a klnbz fajta javak egy eszkzaspektus, statikus, nem res vgs osztlynak
rszsszege, minden i-re - a t idpontban) (T1).

A felttel alapjn a gazdlkodnak a leltr s/vagy a knyvek

szerint a t-ik idpontban (t=1,2,...) van vagyona34. E vagyontrgyak legyenek maradktalanul besorolva eszkzaspektus (avagy vagyonfajta) szerint az A6 aximnak megfelelen i klnbz
(i=1,2,..,n) statikus vgs vagyonosztlyba. Jellje e bruttvagyont alkot javak osztatlan s nem res halmazt (azaz az osztlyozand abszolt alaphalmazt) O, s az egyes vagyontrgyak fajtinak szintn nem res diszjunkt vgs eszkzosztlyait
O1,O2,Oi,On.
Most rendeljk az egyes vgs vagyonosztlyokhoz kln-kln, a
t-ik idpontban a vagyonosztlyokba sorolt vagyontrgyak qi mennyi32

A bizonytsokhoz az igaznak elfogadott aximkbl (s a mr igazolt ttelekbl) indulunk ki, s levezetjk (igazoljuk) a megengedett logikai kvetkeztetsek valamint a matematikban kzismert levezetsi szablyok s azonossgok
hasznlatval add tteleket.
33
Itt s a kvetkezkben szmokon, ha az nem index, mindig a racionlis szmok halmazba tartoz szmot rtnk.
34
A kvetkezkben, ha ez nem flrevezet, vagyon alatt mindig bruttvagyont rtek - a rvidsg kedvrt.

27
sgt s i pnzrtkt, mint e vagyonosztlyozs osztlyain rtelmezett fggvnyek rtkt. Jellje teht a vagyontrgyak mennyisgt Oi fggvnyeknt, vagyonfajtnknt (azaz vgs vagyonosztlyonknt) qi(Oi). E mennyisgek teljes sszegt, a termszetes mrtkegysgeiktl35 s a t idponttl elvonatkoztatva, jellje:
n

q1(O1)+q2(O2)++qi(Oi)++qn(On)= qi(Oi), mg az osztlyozs menyi =1

q
nyisg szerinti fsszegt O fggvnyeknt VBR (O). A vagyonfajtk
azonos pnznemben berazott mennyisgeinek rtkt jellje i(Oi),
s ezek sszegt
n

1(O1)+2(O2)++i(Oi)++n(On)= i(Oi), az rtk szerinti fszi =1

(O).
szeget pedig VBR
Jellje mg a javak egyes fajtinak (tlagos) egysgrt
p1(O1),p2(O2),,pi(Oi),,pn(On).

Azt kell teht megmutatnunk, hogy

(1)
(2)

qi(Oi)>0 (i=1,2,,n), valamint, hogy

n
q
VBR (O)=q1(O1)++qi(Oi)++qn(On)= qi(Oi)>0, tovbb

(3)

qi(Oi)pi(Oi)=i(Oi)>0 s, hogy

(4)

(O)= (O )++ (O )++ (O )= q (O )p (O )= (O )>0.

VBR
1
1
i
i
n
n
i i i i i i

i =1
n

i =1

i =1

Mrmost, az A1 axima szerint a nem res eszkzaspektus i. vgs

vagyonosztlyban (i=1,2,,n) a t. idpontban ltez vagyontrgyak
mennyisgt kifejez qi(Oi) rszsszeg csak pozitv szm lehet. De
az i. osztlyhoz tartoz pi(Oi) egysgr szintn csak pozitv szm
lehet (A3 axima). Viszont ekkor a qi(Oi)pi(Oi)=i(Oi) (i=1,2,,n)
szorzat is csak pozitv szm lehet, mert pozitv szmok szorzata
pozitv.
Mindebbl kvetkezik, hogy qi(Oi),pi(Oi),qi(Oi)pi(Oi)=i(Oi)>036
(i=1,2,,n), valamint mert a pozitv szmok sszege pozitv,
n

ezrt

qi(Oi)>0
i =1

i(Oi)>0.
i =1

Tovbb az A4 axima szerint: Ha egy vagyonosztlyozs pronknt

diszjunkt osztlyain valamely mrtkfggvny37 (vagy annak pozitv
egytthats lineris transzformltja) rtelmezett, akkor e fggvny
ltal a vgs osztlyokhoz rendelt rszsszegek sszege

35

Itt az i-nek azaz individuum-nak nevezett kzs mrtkegysgben kifejezve egyedi mrtkegysgeikkel meghatrozott mrtkket hasznljuk.
36
llapodjunk meg abban: ha egy relci valamelyik oldaln vesszvel elvlasztva kt vagy tbb vltoz jele szerepel,
akkor a msik oldalon lv rtk vagy kifejezs mindegyik vltozra egyenknt rvnyes.
37
Vagyonmennyisget vagy vagyonvltozs-egyenleget, ill. ezek pnzbeli rtkt (vagy ms lineris transzformltjt)
kifejez pozitv egytthats lineris fggvny

28
egyenl az alaposztlyhoz rendelt fsszeggel. Ekkor igaz a kvetkez kt sszefggs:
n
q
VBR (O)=q1(O1)++qi(Oi)++qn(On)= qi(Oi),
i =1

valamint
n

(O)= (O )++ (O )++ (O )= q (O )p (O )= (O ).

VBR
1
1
i
i
n
n
i i i i i i
i =1

q
Ugyanakkor mert VBR (O)= qi(Oi) s
i =1

(O)= (O )
VBR
i i
i =1

i =1

qi(Oi)>0

igaz, valamint mert

i =1

i(Oi)>0

is

igaz,

ebbl

kvetkezik,

hogy

i =1

q
(O)>0 is igaz.
VBR (O)>0 s VBR
De ugyanerre jutunk, ha a qi(Oi)>0, illetve az i(Oi)>0 pozitv
szmokat (i=1,2,,n) sszegezzk, mert pozitv szmok sszege pozitv, ezrt:
n
q
VBR (O)=q1(O1)++qi(Oi)++qn(On)= qi(Oi)>0 s
i =1
n

i =1

i =1

(O)= (O )++ (O )++ (O )= q (O )p (O )= (O )>0,

VBR
1
1
i
i
n
n
i i i i i i

s gy
q
(O)>0.
VBR (O)>0 s VBR
Mindebbl pedig az (1), (2), (3) s (4) sszefggs, s ltaluk a
ttel igaz volta addik. Q.e.d.
38
P. : 1./T2, T3, T4, T5, T6, T7, T8, T9, T11, T12, T14, T15, T16,
T18, T19, T21, T22, T23, T24, T29, 3./T1
39
K. : 1./A1, A3, A4, A6.
2. Ttel: Ha a t. idpontban (t=1,2,....) a gazdlkodnak van adssga (idegen vagyona), akkor
annak a bruttvagyon forrsaspektus statikus relatv alaposztlyban, az idegenvagyon osztlyban, illetve annak brmely alosztlyban lv mennyisgt s pnzrtkt (vagy ms jellemzje
mrtkt) csak pozitv szmmal fejezhetjk ki (A=A1+A2++Aj++AN>0, ahol Aj>0, a klnbz
fajta adssgok egy vgs statikus osztlynak rszsszege, minden j-re) (T2).

Legyen G0 az a gazdlkod, akinek a feltttel szerint pl. a

leltr alapjn a t. idpontban (t=1,2,..) van adssga. Jellje
adssga mrtkt (azaz a statikus adssgosztly fsszegt)
jellsben elvonatkoztatva most is a t. idponttl A0.
Mutassuk meg, hogy A0>0.
Minthogy a G0 gazdlkodnak van adssga, ezrt szksgkppen van
neki hitelezje A9 szerint. Legyen ez a hitelez, pl. most egyedl
38

P.: utni felsorols azt mutatja meg, hogy a ttel mely kvetkez ttelben lett premisszaknt felhasznlva.
K.: utni felsorols azt mutatja meg, hogy a ttelnek, mint konklzinak, mik voltak a hivatkozott premisszi. (Azaz
K jelli a kvetkezik: ebbl s ebbl kifejezst)
39

29
a G1 gazdlkod, akinek tartozik A0-al G0. Mivel G1 hitelezje G0nak, ezrt G1-nek (azonos dimenziban40 szmszerstve) az A0 adssggal megegyez mrtk (K1=A0) elismert K1 kvetelse kell legyen
G0-al szemben. Az A10 szerint ugyanis az ads adssga egyenl hitelezjnek (vagy hitelezinek) vele szemben fennll sszes, elismert kvetelsvel. Teht G1 bruttvagyonnak (V1) egy rsze,
vagy egsze a G0-al szembeni kvetels (K1) formjban lt testet
(A10), azaz fennll: K1V1 (ld. T2 bra).

mde a T1 ttelbl tudjuk, hogy a t. idpontban ltez bruttvagyon s az eszkzaspektus statikus vagyonosztlyaiba tartoz rszeinek mennyisge, illetve pnzrtke csak pozitv szmmal fejezhet ki, kvetkezskppen G1 bruttvagyona V1>0, s ez vonatkozik e
vagyon brmely eszkzaspektus nem res vagyonosztlya rszsszegre, gy a kvetelsre is. Azaz: K1>0 is igaz. Mivel K1>0 s
K1=A0, ezrt ebbl kzvetlenl folyik A0>0 volta.
Azonos gondolatmenet alapjn megmutathat, hogy a pozitivits
fennll az A0 adssg minden nem res vgs osztlyba tartoz
adssgfajtk41 rszsszegeire is, azaz: A0,1+..+A0,j+..+A0,N=A0>0,
ahol A0,j>0 egy a vgs s nem res statikus adssgosztly rszszszegei kzl.
Q.e.d.42
P.: 1./T3, T4, T5, T11, T12, T13, T14, T15, T21, T29.
K.: 1./A9, A10, T1.
3. Ttel. Lemma43: A gazdlkod vagyonnak nagysgt jellje V, adssgnak elbbivel azonos
mrtkegysgben kifejezett nagysgt jellje A. Ekkor a V-A klnbsg a t. idpontban (t=1,2,....)
lehet nagyobb vagy kisebb, mint nulla, vagy egyenl nullval, azaz: V-A 0 (T3).

A t. idpontban (t=1,2,...) a gazdlkod brutt vagyonnak nagysgt (azaz: eszkzaspektus statikus vagyonosztlyozsnak fsz40

mrtkegysgben
Pl.: lehet adssgfajtk: htrasorolt, valamint hossz- s rvid lejrat adssgok (ktelezettsgek).
42
Az 1 s 2 ttel bizonytsa feleslegesnek tnhet. mde egyik fontos funkcijuk az, hogy mintegy klszablyknt
kimutassuk: a vagyont s az adssgot nem szabad negatv szmknt felfogni, mert az ppgy nellentmonds,
mint pl. a negatv sly, a negatv l, avagy a puha gymnt. Sajnos a knyvviteltan trtnetbl ismert, hogy voltak,
akik pl. az adssgot negatv eljel vagyonknt fogtk fel. E tnyt jelzi s rkti meg, tbbek kzt az adssgra is
mig alkalmazott passzva vagy passzv vagyon elnevezs, holott az adssg az adsnak fizetsi ktelezettsge s nem
vagyona - s fleg nem negatv vagyona.
43
Lemma= segdttel
41

30
szegt) jellje a V vltoz (V0 T1 s A2 szerint). Ugyancsak a t.
idpontban, a gazdlkod V-vel azonos dimenziban44 szmszerstett
adssgnak nagysgt (azaz: az adssg statikus relatv alaposztlya fsszegt) jellje az A vltoz (A0 T2 s A2 szerint) a
jellsben elvonatkoztatva t-tl. E jellsekkel a ttelt felrva,
azt kell megmutatni, hogy a t. idpontban: V-A 0.
A V0 s az A0 szmokkal kifejezett vagyon illetve adssg nagysgra A8 szerint igaz, hogy vagy V>A vagy V=A vagy V<A, azaz
egytt: V A.
Most e relci mindkt oldalbl A-t elvve kzvetlenl folyik,
hogy a V-A 0 formulval felrt ttel igaz.
Q.e.d.
P.: 1./T4, T29.
K.: 1./A2, A8, T1, T2.
4. Ttel: A t. idpontban (t=1,2,....) adott nett vagyon mrtke, mint a nem negatv bruttvagyon
forrsaspektus relatv alaposztlynak fsszege brmilyen eljel szm lehet (VNE 0) (T4).

Legyen VNE=VS a gazdlkod nett (vagy sajt) vagyonnak, V (V0;

T1,A2) a bruttvagyonnak, A pedig (A0; T2,A2) az adssgnak nagysgt a t. idpontban (t=1,2,...) azonos mrtkegysgben kifejez
vltoz. Azt kell megmutatnunk, hogy a t. idpontban VNE=VS 0
mellzve az idpont jellst.
Mrmost T3 szerint V-A 0. Mivel a vonatkoz definci szerint a
V-A klnbsget nett vagyonnak nevezzk, itt pedig VNE-val jelljk, ezrt VNE=V-A. De V-A 0 ezrt igaz, hogy VNE=VS 0.
Q.e.d.
Megjegyzs: Ha valamely t. idpontban VNE=VS=0, akkor a hozz
tartoz OS sajtvagyon osztly res (A2 szerint) s nyilvn VBR=VI.
Viszont ha VS>0, akkor van(nak) OSnek eleme(i) a t. idpontban,
ez(ek) a vagyon forrsaspektus szerint osztlyozott eme rszben
lv vagyontrgy(ak). Ha pedig a t. idpontban VS<0, akkor OS eleme(i) a VBR nagysg bruttvagyonbl a t. idpontban hinyz azon
vagyontrgy(ak) e hinyz rsz nagysgt jellje VBR -, melyek a
VI nagysg adssg megfizetshez mg kellenek a VBR vagyonmennyisgen fell. Azaz: ha VBR=-VS, akkor nyilvn VBR+VBR=VI. ppen e
vagyonhinyt rzkelteti ekkor a VS<0, a vonatkoz definci szerint.
P.: 1./T5.
K.: 1./A2, T1, T2, T3
5. Ttel: A t. idpontban (t=1,2,....) a nem negatv bruttvagyon forrsaspektus felosztsval keletkez kt statikus alosztly kzl a sajt vagyonosztly fsszege brmilyen eljel szm lehet

44

Mrtkegysgben

31
(VS 0) a bruttvagyon s az idegenvagyon nagysga fggvnyben, az idegen vagyonosztly
fsszege pedig csak nem-negatv szm (VI0) lehet, mikzben VS+VI0 (T5).

Brmely t. idpontban (t=1,2,..) a bruttvagyon nagysgt kifejez VBR s az adssg (mskpp: az idegen vagyon) nagysgt kifejez VI vltoz rtke nem-negatv (T1, T2, A2 szerint). Ha a VBR
bruttvagyonbl kivonjuk a VI adssgot, akkor a VNE=VS nagysg
nett- illetve sajt vagyont kapjuk (T4 szerint) szintn a t.
idpontban. Azaz rhatjuk:
(1) VBR-VI=VS, majd ezt trendezve, hogy:
(2) VBR=VS+VI.
Elszr azt kell megmutatni, hogy VS+VI0 brmely t. idpontban.
Minthogy VBR0 brmely t. idpontban (T1 s A2 szerint), ezrt rhat, hogy
(3) VBR=VS+VI0 brmely t. idpontban.
Ez utn azt kell megmutatni, hogy VS 0 s VI0 mikzben a felttel s (3) szerint VBR=VS+VI0 (brmely t. idpontban).
Mivel VS=VNE 0 s (1) szerint VBR-VI=VS, ezrt rhatjuk azt, hogy
(4) VBR-VI=VS 0, azaz
(5) VBR-VI 0, vagyis: (6) VBR VI, mikzben VBR0 s VI0 igaz
(brmely t. idpontban).
Az A8 aximbl pedig tudjuk, hogy vagy (a) VBR>VI vagy (b) VBR=VI
vagy (c) VBR<VI mikzben mindkett nem-negatv. Kvetkezskppen
(4), (5) s (6) igaz (3) mellett gy, hogy (a), (b) s (c) is
igaz, hiszen VBRnak s VI-nek nincs fels korltja, azaz brmilyen
nagy szmok lehetnek, csak a 0 als korltjuk ltezik. Ezrt pl.
ha VBR=0 akkor VI=-VS (mikzben VI0) vagyis ekkor a sajt vagyon
abszolt rtkben azonos az idegen vagyonnal, de VS0.
Teht igaz, hogy VS 0 s VI0 mikzben VBR=VS+VI0 (brmely t.
idpontban).
Q.e.d.
P.: 1./T11, T15, T29.
K.: 1./A2, A8, T1, T2, T4.
6. Ttel: A t. idpontban (t=1,2,) a nett vagyon indul, ill. jegyzett tke nev forrsaspektus
statikus vgs osztlyba tartoz tke sszege (T) csak pozitv szm lehet. (T>0) (T6).

Jellje a nett vagyon kezdtke osztlynak rszsszegt T. Azt

kell megmutatnunk, hogy T>0.
A kezdtke sszege a definci szerint azt mutatja, hogy a gazdlkods kezd idpontjban, illetve e tkefajta mdostsakor
mekkora a gazdlkod vgleg pnzben vagy brmely ms vagyontrgy
formjban45 gazdasgba befektetett vagyona.
45

Apportknt..

32
A gazdlkod fektessen be ht gazdasgba pl. pnzt s egy ingatlant a gazdlkodsa kezdetn, mint a kezd vagyon trgyait. Jellje ennek az eszkzaspektus szerinti kezd vagyonnak a teljes
nagysgt V. Ugyanakkor a kezdtke defincija szerint fennll:
T=V (T s V mrtkegysge azonos). De a T1 rtelmben V>0, gy
T=V>0, s ezrt T>0.
A mdostott kezdtke rtkt jellje T.
Tkeemels esetn a bevitt tbbletvagyon nagysga: V>0 (T1). A
tketbbletet jellje T. A kezdtke defincija szerint T=V,
viszont T=V>0 (T1 rtelmben), ezrt T>0. (T s V mrtkegysgeik azonosak). Az emelt kezdtke rtke T=T+T. De T>0 s T>0,
teht T>0.
Tkeleszlltsnl legyen T=T-T, ahol T a T-nl kisebb, de
nullnl nagyobb (0<V=T<T) vagyonnal egyenl tkenagysg (T1),
mellyel leszlltjuk (azaz cskkentjk) T sszegt.
gy T-T<T-T, ezrt: 0<T-T=T s gy 0<T.
Igaz ht, hogy T,T>0.
Q.e.d.
P.: 1./T11, T12, T14.
K.: 1./T1.

7. Ttel: A t. idpontban (t=1,2,....) a nett vagyon tketartalk nev statikus osztlyhoz tartoz
rszsszeg (TR) csak nulla vagy nullnl nagyobb szm lehet. (TR0) (T7).

A tketartalk sszegt jellje TR. Azt kell megmutatnunk, hogy

TR0.
Ez a tkesszeg a definci szerint azt mutatja meg, hogy a gazdasg tulajdonosa(i) vagy msok, mikor s mekkora tovbbi vagyont
vont(ak) be vglegesen a gazdlkodsba, vagy vontak ki vgleg a
gazdlkodsbl az alaptkn fell.
Legyen a tartalkba helyezett vagyontrgy pnz s/vagy ms dolog. Jellje ezt a t. idpontban (t=1,2,...) tartalk cmn bevont
eszkzaspektus bruttvagyonrsz mrtkt VR. A definci szerint
teht TR=VR (TR s VR egynemek). De a T1 ttel szerint VR>0, ha van
bevont vagyon. Ekkor teht rhat: TR=VR>0, ezrt fennll: TR>0.
Viszont, ha mg nincs vagy mr nincs bevont, tartalknak
sznt vagyon, azaz az osztly res, akkor TR=VR=0 (A2).
Q.e.d.
P.: 1./T7/C, T11, T12, T14.
K.: 1./A2, T1.
Corollrium: E ttelbl nyilvnval, hogy a TR>0 tketartalkot tartalmaz forrs aspektus statikus
vagyonosztly kzbls s vgs osztlyainak f- illetve rszsszegei is pozitv szmok. Kplettel:
TR=TR1+TR2+=(TR11+ +TR1i+)+(TR21+ +TR2j+)+>0, ahol TR1i ,TR2j>0 a klnbz fajta
tketartalkok egy-egy vgs statikus osztlynak rszsszegei, minden i-re s j-re.

Q.e.d.

33
P.:
K.: 1./T7.
8. Ttel: A t. idpontban (t=1,2,....) a nett vagyon statikus halmozott eredmnyosztlynak statikus halmozott hozamalosztlyhoz tartoz rszsszeget, mint a t. idpontban ltez halmozott
hozam mennyisgt s pnzrtkt (vagy ms jellemzje mrtkt) csak pozitv szmmal fejezhetjk ki (H>0) (T8).

A gazdlkod, a t-ik idponttal bezrlag (t=1,2,...) rjen el H

mrtk hozamot. Azt kell megmutatnunk, hogy ekkor H>0.
A H (halmozott) hozam alatt a definci szerint a gazdlkods (0;t] idszakban (t=1,2,...) elrt sajtvagyonnvekmny rtend nem rtve ide a kezdtke s/vagy a tketartalk nvekmnyt. E sajtvagyon nvekmny testet lthet brmely pnzbevtel,
kapott ru s/vagy szolgltats (bartergyletknt is), vagy elismert kvetels, tovbb a vagyon termszetes szaporulata illetve
adssg-elengeds formjban. Ez a sajtvagyonnvekmny a t.
idpontban azonos a sajtvagyon nev statikus relatv alaposztly halmozott hozam nev vgs osztlynak rszsszegvel.
ltsn teht testet ez a sajtvagyontbblet egy gazdasgi esemny kapcsn , mondjuk azonnali kszpnzbevtel formjban, s jellje e pnz mennyisgt B. Ekkor a definci alapjn H=B (H s B
egynemek). De T1 alapjn a vagyon s brmely rsznek mennyisge/rtke csak pozitv szm lehet. B, mint kszpnztbblet (kszpnznvekmny), szintn az eszkzaspektusbl tekintett vagyon rsze, teht B>0 (T1). Kvetkezskppen rhat, hogy B=H>0.
Hasonlkpp lehet megmutatni, hogy, ha a hozam pl. kvetelsben
(melyet csak esedkessgkor egyenltenek majd ki), vagy G0 adssga
elengedsvel sajtvagyonv vl eszkzkben, vagy bartergylet
eredmnyeknt ruban, avagy szolgltatsban, stb. lt testet, a
ttel akkor is igaz.
Q.e.d.
P.: 1./T8/C, T11, T12, T14.
K.: 1./T1.
Corollrium: E ttelbl nyilvnval, hogy a H>0 hozamot tartalmaz forrs aspektus nem res statikus vagyonosztly kzbls s vgs osztlyainak f- illetve rszsszegei is pozitv szmok. Kplettel:
H=H1+H2+=(H11+ +H1i+)+(H21+ +H2j+)+>0, ahol H1i ,H2j>0 a klnbz fajta hozamok
egy-egy nem res vgs statikus osztlynak rszsszegei.

Q.e.d.
P.:
K.: 1./T8.
9. Ttel: A t. idpontban (t=1,2,....) a nett vagyon statikus eredmnyosztlynak statikus rfordts (kltsg) nev alosztlyhoz tartoz rszsszeget, mint a t. idpontban ltez rfordts (kltsg) mennyisgt s pnzrtkt (vagy ms jellemzje mrtkt) csak negatv szmmal fejezhetjk ki (R<0) (T9).

A
gazdlkod
gazdasgban,
a
t-ik
idpontig
bezrlag
(t=1,2,...) bekvetkezett gazdasgi esemny(ek) kapcsn, keletkez-

34
zen R szmrtk rfordts (kltsg). Azt kell megmutatnunk, hogy
a nem res rfordtsosztlyhoz tartoz R rszsszeg kisebb, mint
nulla (R<0).
A t. idpontban (t=1,2,...) ltez R szmrtk rfordts
(kltsg) alatt defincija szerint a gazdlkods (0;t] idszakban bekvetkezett sajtvagyoncskkens rtend nem rtve
ide a kezdtke s/vagy a tketartalkok cskkenst. E sajtvagyoncskkens azon bell a vesztesg46 nvekedse testet lthet brmely eszkzfelhasznls, vgleges pnzkiads,47 adott ru,
teljestett szolgltats, keletkezett ktelezettsg, valamint a
vagyon termszetes fogysa illetve kvetels elengedse formjban. Ez a sajtvagyoncskkens azonos a sajtvagyon nev relatv
alaposztly rfordts (kltsg) nev vgs osztlynak rszsszegvel a t. idpontban.
Most a sajtvagyoncskkens ltsn testet pldul valamely
ignybevett szolgltats ellenrtknek megfizetseknt jelentkez
azonnali kszpnzkiads formjban mely az A15 axima szerint
cskkenti a ltez P' pnzkszletet. De P'>0 a T1 ttel alapjn.
mde, ha a rfordts valamely P'-nl nem nagyobb P>0 (T1) pnzadag
kiadst jelenti, akkor P-t le kell vonni (el kell venni) P'-bl.
Kvetkezskpp e pnzkiads mint negatv szm cskkenti a pozitv
eljel P' pnzkszletet (az A15 axima szerint). Ezrt jellje e
kiadott kszpnzmennyisget -P, amely a rfordts emltett defincija szerint egyenl R-el, azaz fennll R=-P (R s P azonos
mrtkegysg). Viszont -P<0, kvetkezskpp: R=-P<0, azaz -P=R<0.
Hasonlkpp meg lehet mutatni: ha a rfordts (kltsg) ms vagyontrgyban pl. bartergylet eredmnyeknt tadott ruban
vagy teljestett szolgltatsban, avagy a gazdlkod ltal elengedett, mssal szembeni kvetelsben lt testet, vagy ksbb esedkes ad- vagy brfizetsi ktelezettsget, stb. kiegyenlt kiadsban, a ttel akkor is igaz.
Q.e.d.
P.: 1./T8/C, T10, T11, T12.
K.: 1./A15, T1.
Corollrium: E ttelbl nyilvnval, hogy a R<0 rfordtst tartalmaz forrs aspektus statikus nem
res vagyonosztly kzbls s vgs osztlyainak f- illetve rszsszegei is negatv szmok. Kplettel:
R=R1+R2+=(R11+ +R1i+)+(R21+ +R2j+)+<0, ahol R1i ,R2j<0 a klnbz fajta rfordtsok
egy-egy vgs statikus nem res osztlynak rszsszegei, minden i-re s j-re (T9/C).

Q.e.d.
P.:
K.: T9.

46

A vesztesg (a gazdlkods vesztesge) e vagyonknyvvitelben alapfogalom, s a nem tkebett vagy tketartalk

jelleg sajtvagyonrsz cskkensnek, azaz kifejezetten a gazdlkods miatti "sajtvagyon-veszts" szinonimja.
47
Nem minden kiads kltsg is egyben. Pl. ha kszpnzen, raktrra anyagot vesznk, vagy kszpnzt vesznk ki a
pnztrbl, s azt a bankszmlra befizetjk, stb. Ezek mindssze a vagyon forma- illetve struktravltozst jelentik,
mde nem okoznak vesztesget kvetkezskpp nem kltsgek ( nem rfordtsok). Viszont elbb vagy utbb minden kltsg kiadst jelent.

35
10. Ttel: Ha a t. idpontban (t=1,2,....,) a halmozott ill. a folyidszaki hozam kisebb, mint a vele
egynem halmozott ill. folyidszaki rfordts abszolt rtke, akkor a t. idpontban ltez halmozott ill. folyidszaki brutt eredmny neve vesztesg (E<0), ha nagyobb, akkor nyeresg (E>0)
- rtelemszeren mindkett halmozott ill. folyidszaki (T10).

Jellje H a halmozott ill. a folyidszaki hozam mrtkt, R a

hozammal egynem halmozott ill. folyidszaki rfordtst, |R| az
elbbi abszolt rtkt, E pedig a halmozott ill. folyidszaki
eredmny, elbbiekkel egynemen kifejezett szmrtkt a t-ik idpontban (t=1,2,...). A tovbbiakban az egyszersg rdekben, akr
halmozott, akr folyidszaki rtkrl van sz, csak hozamot, rfordtst s eredmnyt emltek, melyek mindig azonos idszakra vonatkoznak a halmozott vagy a folyidszaki jelz nlkl ez
megtehet.
Azt kell teht megmutatni, hogy
a) ha H<|R| akkor az E eredmny neve vesztesg, mg
b) ha H>|R| akkor az E eredmny neve nyeresg.
Az a) eset felttele szerint: H<|R|. De H-|R|<|R|-|R|, viszont
|R|-|R|=0 s ezrt H-|R|<0. Ugyanakkor T9 szerint R<0 s ezrt
|R|=-R. gy rhatjuk, hogy: H-|R|=H-(-R)=H+R<0.
Mrmost a halmozott s folyidszaki eredmny defincija s a
bevezetett jellsek rtelmben H+R=E, ezrt a H+R<0 bal oldalra
E rhat, s gy: E<0. Ebbl viszont az idszaki vesztesg defincija alapjn folyik, hogy az E<0 halmozott ill. folyidszaki
eredmny neve halmozott ill. folyidszaki vesztesg.
A b) eset felttele szerint H>|R|. De ekkor elegend, ha az a)
esetbeli levezets minden lpsben s a vgeredmnyben kisebbrl
nagyobbra vltjuk a relci jelt. gy azonnal addik: E>0. Ebbl
viszont az idszaki nyeresg defincija alapjn kzvetlenl folyik, hogy az E>0 halmozott ill. folyidszaki eredmny neve halmozott ill. folyidszaki nyeresg.48
Q.e.d.
P.: 1./T10/C.
K.: 1./T9.
Corollrium: E ttelbl nyilvnval, hogy a t. idpontban (t=1,2,....,) a halmozott ill. a folyidszaki
eredmny (E) brmely eljel szm lehet (E 0) (T10/C).

Q.e.d.
P.:
K.: 1./T10.
11. Ttel: A bruttvagyon vagy valamely rsze eszkz vagy forrs aspektus szerinti statikus vagyonosztlyhoz a t. idpontban (t=1,2,...) tartoz f- ill. rszsszeg egyenl e vagyont (illetve vagyonrszt) eredmnyez (0;t] idintervallumbeli vagyonvltozsok idosztlyaihoz tartoz rszszszegek sszegvel, amely csak nem negatv szm lehet, kivve a sajtvagyon- s az eredmnyosztly rszsszegt, mely brmilyen eljel szm, valamint a rfordtsosztly rszsszegt,
amely csak nem pozitv szm lehet (T11).
48

Ha az eredmnyosztly hozam s rfordts vgs osztlyokra osztott, akkor a rfordtsosztlyban - rtelemszeren negatv eljellel gylnek a rfordtsok, kvetkezskpp R<0 lehet csak, s az eredmny ekkor a hozam s rfordts
sszevonsval hatrozhat csak meg. Azaz ekkor s csakis ekkor E=H+R.

36

Jelljn O egy eszkz vagy forrs aspektus szerinti statikus vagyonosztlyt a t=M idpontban (t,M=1,2,...). Jellje V azt a vagyonvltozsok-osztlyt a (0;M] idintervallumban, amely a (0;M]
idintervallumban bekvetkezett vagyonvltozsok rvn az M. idpontban az O osztlyban lv vagyont (vagy vagyonhinyt) eredmnyezte.
Ugyanakkor jellje VM(O) az O statikus vagyonosztlyhoz a M.
idpontban tartoz f- ill. rszsszeget, tovbb jellje V(0,M](V)
a V vagyonvltozsok osztlynak a VM(O) sszeggel azonos mrtk
szerint kifejezett fsszegt, I(t) pedig a V vltozsosztly valamely dinamikus idosztlya rszsszegt. E jellsekkel felrva
M

igaz: V(0,M](V)= I(t) (A4). Ekkor a ttel formulja a kvetkez:

t =1

VM(O)=V(0,M](V)= I(t)0 (t,M=1,2,...) kivve a sajtvagyon, az

t =1

eredmny s a rfordts esett. Ezt kell megmutatni.

Mrmost fennll
(1/a) VM(O)0 T1,T2,T6,T7,T8 s A2 alapjn, ha O nem a sajtvagyon, az eredmny vagy a rfordtsok osztlya, klnben:
(1/b) VM(O) 0 T5 s T10/C alapjn, ha O a sajtvagyon vagy az
eredmny osztlya, valamint
(1/c) VM(O)0 T9 s A2 alapjn, ha O a rfordts osztlya.
Ez a VM(O) sszeg a (0;M] idintervallumbeli azonos dimenzij
vagyonvltozsok algebrai sszegeknt jtt ltre, teht A5 szerint
fennll
M

(2) VM(O)=V(0,M](V)= I(t) s (t,M=1,2,...).

t =1

Viszont az egyenlk felcserlhetk s ezrt az (1/a), (1/b),

(1/c) egyenltlensgeket s azok baloldalt rhatjuk gy is:
M

(3/a) VM(O)=V(0,M](V)= I(t)0 (t,M=1,2,...), valamint a sajtvat =1

gyon vagy az eredmny osztly esetn:

M

(3/b) VM(O)=V(0,M](V)= I(t) 0 (t,M=1,2,...), tovbb rfordtst =1

osztlynl
M

(3/c)

VM(O)=V(0,M](V)= I(t)0 (t,M=1,2,...), ahol (3/b) s

t =1

(3/c) esetben T5, T9 s T10/C szerint csak a relcijelben van klnbsg.

Q.e.d.
P.: 1./T11/C1, T11/C2, T12, T14.
K.: 1./A2, A4, A5, T1, T2, T5, T6, T7, T8, T9.

37
Corollrium 1: E ttelbl nyilvnval, hogy brmilyen aspektus statikus vagyonosztlyozs valamely
osztlynak f- ill. rszsszege brmilyen eljel szm lehet, ha az elemei azonosak a sajtvagyonvagy az eredmnyosztly elemeivel, ha pedig a rfordtsosztly elemeivel azonosak, akkor csak nem
pozitv szm lehet. Ha viszont a statikus vagyonosztlyozs eszkzjelleg vagy forrsjelleg, de azon
bell az idegenvagyon osztly (vagy annak brmely alosztlya) elemeivel azonosak a vagyonosztly
elemei, akkor annak f- ill. rszsszege csak nem negatv szm lehet.

Q.e.d.
P.: 1./T12.
K.: 1./T11.
Corollrium 2: E ttelbl nyilvnval, hogy ha a (0;M] idintervallum Vt idosztlyaihoz (t=1,2,...,M)
tartoz I(t,Vt) rszsszegekbl egyrtelmen kvetkezik az M-ik idponthoz tartoz OM statikus vagyonosztly V(t,OM) rtke, de V(t,OM) rtkbl nem kvetkezik egyrtelmen az egyes I(t,Vt)-k rtke. m ez az sszefggs igaz V(t,OM)-ra s statikus alosztlyainak rszsszegeire is.

Q.e.d.
P.:
K.: 1./T11.
12. Ttel. Lemma49: Ha a t=M idpontban valamely statikus vagyonosztly f- vagy rszsszege
nem negatv (avagy nem pozitv), akkor az osztlyba tartoz vagyont (vagyonhinyt) eredmnyez
(0,M] idintervallumbeli vagyonvltozsok els t (t=1,2,..,M) idosztlyhoz tartoz rszsszegek
sszege is az (T12.L.).

Legyen OS a felttel szerinti statikus vagyonosztly, s a t=M

idpontban (M
egsz) legyen
nem res vagy
res. Jellje
Vt(OS)=VM(OS) az OS osztlyhoz tartoz f- vagy rszsszeget a t=M
idpontban. Elszr (I.) legyen VM(OS)>0, ha OS a t=M idpontban
nem res (T1, T2, T6, T7, T8, T11/C1) majd VM(OS)=0, ha OS akkor pp
res (A2). Ezt a kt esetet egy relcijellel kifejezve: VM(OS)0.
Msodszor (II.) vizsgland a ttel VM(OS)0 mellett (T9, T11/C1,
A2). A felttel szerint ugyanis ez a kt helyzet llhat fenn.
(I.) Az OS-t eredmnyez a (0,M] idintervallumbeli OV vagyonvltozsok osztlyt osszuk fel M darab idosztlyra. A t. idosztly
rszsszegt jellje I(t), ahol t=1,2,..,K,...,M (K is egsz). Legyen tovbb VK(OV) az OV vagyonvltozs-osztly els K idosztlyhoz
tartoz
K
darab
rszsszeg
sszege,
kpletben:
K

VK(OV)= I(t), ahol 1KM.

t =1

A jellseket felhasznlva, azt lltom:

K

(1) Ha VM(OS)0, akkor VK(OV)= I(t)0, ahol 1KM.

t =1

K=M esetn a ttelbeli llts nyilvn a felttel s T11 szerint

M

igaz, azaz: VM(OV)= I(t)0.

t =1

49

Lemma= segdttel.

38
Ezrt a ttelt mg az 1KM-1 esetekre kell bizonytani.
Teht azt lltom:
K

(2) Ha VM(OS)0, akkor VK(OV)= I(t)0 s (1KM-1).

t =1

Ha ugyanis (2) nem ll fenn, akkor

K

(3) VM(OS)0 mellett VK(OV)= I(t)<0, ha 1KM-1.

t =1

mde T11 szerint VM(OV)= I(t)0, ha t=1,2,...,K,...,M-1,M. Azaz,

t =1

ha t=K, akkor igaz:

K

(4) VK(OV)= I(t)0, ahol 1KM-1.

t =1

Viszont gy VK(OV)-ra kt rtk addik:

VK(OV)<0 (3) szerint s VK(OV)0 (4) szerint. Azaz: VK(OV) kisebb, mint nulla s VK(OV) nem kisebb, mint nulla egyszerre. De
ez nem lehetsges. Egy llts s az ellenkezje egyszerre nem lehet igaz. Mivel a (4) szerinti llts a bebizonytott T11 ttelnek
felel meg, gy az az igaz, s csakis a (3) szerinti, a T11 ttellel
ellenttes llts a hamis.
(II.) Knnyen belthat, hogy a ttel VM(OS)0 mellett (T9)
ugyangy igazolhat, csak az egyenltlensgjelek irnyt kell megfordtani.
Q.e.d.
P.: 1./T12/C, T14.
K.: 1./A2, T1, T2, T6, T7, T8, T9, T11, T11/C1.
Corollrium: E ttelbl nyilvnval, hogy ha valamely kumullt rszsszeg vagyonosztlyozs egyik
rszsszege nem negatv (vagy nem pozitv) akkor a tbbi rszsszege is az (T12/C).

Q.e.d.
P.:
K.: 1./T12.
13. Ttel: Ha a t. idpontban (t=1,2,..) valamely statikus vagyonosztly f- illetve rszszszege nem nulla, akkor a statikus vagyonosztly nem res (T13).
Jellje V(O) a t. idpontban (t=1,2,..) valamely statikus O vagyonosztly f- illetve rszsszegt. A felttel szerint ekkor
V(O)0. lltom: ha V(O)0, akkor O nem res azaz: van benne legalbb egy vagyontrgy. Ha ugyanis O res, amikor V(O)0, akkor az
ellentmond az A2 aximnak, mely szerint ha a t. idpontban
(t=1,2,...) valamely statikus vagyonosztly res, akkor s csak
akkor e vagyonosztlyhoz a t. idpontban tartoz vagyon mennyisgt vagy pnzbeli rtkt (vagy ms lineris transzformltja mrtkt) kifejez rsz- vagy fsszeg nulla. Teht O nem lehet
res, ha V(O)0.
Q.e.d.
P.:

39
K.: 1./A2.
14. Ttel: A t=M idpontban (t,M=1,2,) ltez, nem negatv nagysg bruttvagyont, vagy annak
valamely statikus osztlyban lv nem negatv nagysg rszt eredmnyez (0;M] idintervallumbeli vagyonvltozsok osztlyozs brmely I(t) rszsszege, ha 1tM, lehet nagyobb, mint
nulla, vagy egyenl nullval. Mg ha 2tM, akkor brmely I(t) rszsszeg lehet kisebb nullnl,
feltve, hogy abszolt rtke nem nagyobb, mint az els t-1 rszsszeg sszege (T14).

A t=M idpontban (t,M=1,2,..) ltez vagy akkor mr (vagy mg)

nem ltez bruttvagyon vagy annak brmely statikus osztlyban
lv rsze nagysgt jellje VBR(t)=VBR(M), mint f- vagy rszszszeg. VBR(M)>0, ha a vagyon vagy az adott rsze a t=M idpontban
ltezik (T1, T2, T6, T7, T8) s VBR(M)=0, ha akkor nem ltezik (A2).
Egytt: VBR(M)0. E vagyont vagy rszt eredmnyez dinamikus vagyonosztlyozs fsszegt jellje V(M).
E jellsekkel s T1, T2, T6, T7, T8 s T11 valamint A2 alapjn rhatjuk, hogy
M

(A) VBR(M)=V(M)= I(t)0.

t =1

Azt kell megmutatnunk, hogy mikzben (A) igaz, akzben brmely

K. idosztly rszsszege lehet
(B) I(K)0, ha 1KM, illetve lehet
(C) I(K)<0, ha 2KM feltve, hogy |I(K)|V(K-1), ahol V(K-1) az
I(K)-t megelz els K-1 idosztly rszsszegeinek az sszege,
melyre fennll:
K 1

V(K-1)= I(t)0 a T12.L. alapjn.

t =1

A (B) I(K)0 (1KM) nem mond ellent a T1, T2, T6, T7, T8, T11 tteleknek s A2-nek, vagyis a felttelnek is megfelel (A)
M

VBR(M)= I(t)0 formulnak. Teht (B) igaz.

t =1

Most mg a (C)-t kell igazolni.

Elszr a (C) esettel ellenttben tegyk fel, hogy I(K)<0 lehet
akkor, ha 1KM. Legyen pl. mindjrt I(1)<0. mde ekkor a bruttvagyonnak vagy rsznek rgtn az els idosztlyhoz tartoz
rszsszege negatv, mikzben (A) igaz, ami lehetetlen, mert a
T12.L. szerint ekkor I(1)0 lehet csak.
Megjegyzem, hogy ez az eredmny sszhangban van azzal a szemlletes megllaptssal, hogy: ha I(1)<0 igaz, akkor ez azt jelenti,
hogy pl. vagyon vagy adssg esetn a semmibl vesznk el valamit,
ami kptelensg. Teht: az I(K) rszsszegek brmelyike nem lehet
negatv, illetve a negatvits nem kezddhet K=1-el, csak K=2-tl,
feltve, hogy I(1)>0 s I(1)|I(2)| ha I(2)<0.
Msodszor tegyk fel, hogy (C) ellenkezje (C) igaz akknt,
hogy
(C) I(K)<0 lehet, ha 2KM feltve, hogy |I(K)|>V(K-1) fennll.
Mrmost |I(K)|=-I(K), mert I(K)<0.

40
gy (C)-ben |I(K)|=-I(K)>V(K-1). Most adjunk -I(K)>V(K-1) mindkt oldalhoz I(K)-t. Ekkor rhatjuk, hogy
(D) I(K)-I(K)>V(K-1)+I(K). gy (D) baloldala egyenl 0-val, a
jobboldala pedig az els K rszsszeg sszegvel V(K)-val.
A V(K)-ra nzve viszont fennll:
K

(E) V(K)= I(t)0 (2KM) T12.L. miatt. Behelyettestve (E)-t (D)

t =1

jobb oldalba azt kapjuk:

K

(F) 0>V(K-1)+I(K)=V(K)= I(t)0 (2KM). mde (F) ellentmondst

t =1

jelez, mert 0>V(K)= I(t)0 (2KM), azaz

t =1

(G) 0>V(K)0 (2KM).

Szavakkal: V(K) egyszerre kisebb nullnl, meg nem kisebb, ami
nyilvnvalan ellentmonds. Mivel a kvetkeztetsben nem volt hiba
s mgis ellentmondsra jutottunk, ezrt minden ktsget kizran
(C) feltevsnk hamis. Kvetkezskppen az eredeti (C) lltsunk
igaz.50
Teht igazoltuk, hogy mind az (A), mind a (B), mind a (C) lltsunk helyes, s gy a ttel is igaz.
Q.e.d.
P.: 1./T14/C.
K.: 1./A2, T1, T2, T6, T7, T8, T11, T12.L.
Corollrium: E ttelbl nyilvnval, hogy ha a t=M idpontban nem pozitv rszsszeg statikus vagyonosztlyt eredmnyez (0,M] idintervallumbeli vagyonvltozsok idaspektus vagyonosztlyozsnak brmely I(t) rszsszege (1tM) lehet kisebb, mint nulla, vagy egyenl nullval. Mg ha 2tM,
akkor brmely I(t) rszsszeg lehet nagyobb nullnl, feltve, hogy rtke nem nagyobb, mint az els
t-1 rszsszeg sszegnek abszolt rtke (T14/C).

Q.e.d.
P.:
K.: 1./T14.
15. Ttel: A magra hagyott vagyonnal vagy rszvel sszefgg sajt vagyon(rsz) mennyisge/rtke az id mlsval - mintegy automatikusan - tart a mnusz vgtelenhez (T15).

50

Termszetesen a ttel (C) rsze a T12. Lemma nlkl is bizonythat, lnyegben vve teljes indukcival: I(t)=I(1)
nem lehet negatv, mert a semmibl nem lehet valamit elvenni. I(2) mr lehet negatv, de abszolt rtke nyilvn nem
haladhatja meg I(1) rtkt. Teht e ttelrsz a t=2 esetben igaz elszr. Most feltesszk, hogy a ttel igaz a t=K-1 esetK 1

ben s igazoljuk a t=K esetre (2KM). Ekkor: V(K)=

I(t)+I(K)0 a felttel szerint, noha I(K)<0 ugyancsak a feltt =1

K 1

tel szerint. De

K 1

I(t)-I(K). Tovbb, mivel I(K)<0, ezrt |I(K)|=-I(K) s gy fennll:

t =1

I(t)|I(K)|. Teht igaz, hogy

t =1

K 1

lehet I(K)<0 (2KM), feltve, hogy

I(t)|I(K)|. Q.e.d. Azonban teljes indukci alkalmazsa esetn kilpnnk az

t =1

axiomatikus rendszerbl, mert nem tmaszkodnnk annak aximira s a mr bizonytott tteleire. Ezrt itt ezt a mdszert nem vlaszthatjuk.

41
Jellje a bruttvagyon nagysgt VBR (VBR>0; T1), az adssgt/idegenvagyont VI (VI>0; T2). A sajt vagyon nagysgt pedig
jellje VS (VS=VBR-VI a vonatkoz definci szerint) s VS 0 T5 szerint.
Mrmost az A7 axima szerint, ha a gazdlkod valamely tmh (ahol
tmh=1,2,...) idpontban magra hagyja a vagyont vagy annak brmely
rszt, akkor annak nagysga s pnzrtke, de legalbbis a pnzrtke (vagy ms lineris transzformltjnak mrtke)(A13) a termszeti vagy trsadalmi, vagy gazdasgi krnyezet ltal kivltott
gazdasgi esemnyek hatsra (A12) az id mlsval monoton cskkenve tart a nullhoz.
Tovbb, az A11 axima szerint: ha a gazdlkod valamely tmh idpontban magra hagyja a vagyont vagy annak brmely rszt, akkor
a gazdlkod adssgnak mrtke a termszeti vagy trsadalmi,
vagy gazdasgi krnyezet ltal kivltott gazdasgi esemnyek hatsra (A12) az id mlsval monoton nvekedve tart a plusz vgtelenhez.
A7 s A11 aximk ltal megszabott ellenttes monotonitsokbl
kvetkezik, hogy az id mlsval lesz egyetlen olyan tN (tmhtN)
idpont, amelytl kezdve, vagy amely utn a VS=VBR-VI klnbsg, azaz a sajt vagyon negatv s negatvitsa az id mlsval monoton n, azaz VS tart a mnusz vgtelenhez (VS -). (Tbb tN
idpont ltezse az A7 s A11 axima ltal szabott ellenttes tendencij monotonitsok miatt kizrt.)
Q.e.d.
P.: 1./T15/C.
K.: 1./A7, A11, A12, A13, T1, T2, T5.
Corollrium: A gazdlkod anyagi helyzete s annak minden tnyezje a gazdlkods abbahagysa
esetn is idben vltozik (T15/C).

Q.e.d.
P.: 1./T29.
K.: 1./T15.
A vagyon szerkezeti trvnyei s a vagyonosztlyozsi rendszerek
v

16. Ttel:

S
x =1

A1 =

A
S A ==
S

y =1

0, azaz: ha a (0,t] idintervallumbeli bruttvagyon-

=1

vltozsok alaposztlyt s/vagy annak t. idpontbeli (t=1,2,) egyenlegosztlyt n-flekppen

(n2), azaz tetszleges, de klnbz A1,A2,..,An vagyonaspektus szerint osztlyozzuk, vagy egy
An+1 aspektus vagyonosztlyozsval kiegsztjk, akkor e vagyonosztlyozsi rendszer osztlyozsainak szerkezete klnbz, mg az egymssal azonos dimenzij fsszegei mind egyenlk (T16).

Jelljk
a
(0,t]
idintervallumban
trtnt
bruttvagyonvltozsok alaposztlya s/vagy annak a t. idponthoz tartoz
egyenlegosztlya tetszleges A1,A2,...,Ai,..,An, illetve An+1 va-

42
gyonaspektus szerinti osztlyozsainak szerkezett a vagyonosztA
lyokhoz tartoz S rszsszegek sszegvel. Ezek rendre:
v

(1)

S
x =1

A1 ,

S
y =1

A2 ,...,

S
u =1

Ai ,...,

S A

, ill.

=1

S A

n +1

=1

ahol x,y,u,,>0 s egsz. Az (1) formulkkal szimbolizlt vagyonosztlyozsok szerkezete mind klnbz, mert az A6 axima szerint
a (0,t] idintervallumbeli vagyonvltozsoknak illetve a t. idpontbeli vagyonnak nincs kt azonos vagyonosztlyozsa.
Az (1) alatti jellseket felhasznlva lltom, hogy igaz
v

(2)

S
x =1

A1 =

S
y =1

A2 =...=

Su

Ai =...=

0.

=1

u =1

Az (1)-beli vagyonosztlyozsok rszsszegeinek sszege A4 szerint

egyenl az SAi-vel (i=1,2,3,...,n,n+1) jellt fsszegkkel, s gy
minden i-re fennll:
v

x =1

y =1

(3) SA1= S xA1 , SA2= S yA2 ,...,SAi= S uAi ,...

u =1

=1

=1

...,SAn= S An , illetve SAn+1= S An +1 .

Minthogy az egyenlk felcserlhetk, a (2) formult egyszerbben
is rhatjuk:
(4) SA1=SA2=...=SAi=...=SAn0. Ezt kell megmutatni.
Mrmost:
(I.) Ha n=2, akkor (5) SA1=SA20 az igazoland llts.
Jellje most VBR a (0;t] intervallumban trtnt bruttvagyonvltozsok brmely aspektus dinamikus vagyonosztlyozsnak f
sszegt. Valamint jellje V BR a (0;t] intervallumban trtnt
bruttvagyon-vltozsok egyenlegeinek t. idponthoz tartoz brmely aspektus statikus osztlyozsnak fsszegt. VBR=VBR az A5
axima szerint, fggetlenl attl, hogy a VBR fsszeg dinamikus
vagy statikus osztlyozs fsszege s attl is, hogy milyen az
osztlyozsi aspektusa.
A t. idpontban a bruttvagyon VBR fsszeggel adott mennyisge
vagy pnzrtke (vagy ms, pozitv egytthatj lineris transzformltjnak rtke) T1 s A2 szerint nem kisebb, mint nulla
(VBR0). Ugyanakkor A4 szerint fennll: VBR=SA1 s VBR=SA2. m amik
ugyanazzal egyenlk, egymssal is egyenlk, s ezrt igaz:
SA1=SA20. Teht n=2 esetn (5) s gy (4) s (2) is igaz.
(II.) Most feltesszk, hogy igaz a (2) s (4) n tag formulja
s megmutatjuk, hogy igaz az (n+1)-ik taggal kiegsztett formula
is.

43
Vegyk teht az n tag (4) egyenlsglnchoz hozz a (3)-beli,
VBR nagysg vagyon An+1 aspektusnak megfelel jabb (A6) vagyonosztlyozsa SAn+1 fsszegt (A4). Ekkor igazoland:
(6) SA1=SA2=...=SAi=...=SAn=SAn+10.
Mrmost, a felttel, valamint T1 s A4, A5 alapjn SAn+1-re fennll: VBR=SAn+10.
De VBR=SAn0 is igaz a felttel, valamint T1 s A4, A5 alapjn. Ekkor teht SAn s SAn+1 is ugyanazzal a VBR-val egyenl s nem kisebb, mint nulla. Ezrt: SAn=SAn+1. Viszont a felttel szerint
SAi=SAn is igaz (i=1,2,...), kvetkezskpp az SAi=VBR0 is igaz
(i=1,2,...). De lttuk, hogy SAi s SAn+1 is ugyanazzal a SAn-el
egyenl, s amik ugyanazzal egyenlk, egymssal is egyenlk, azaz:
SAn+1 minden SAi-vel (i=1,2,...,n) is egyenl, s nem kisebb, mint
nulla.
Azaz valban: a (6) s gy a (2) s (4) formula brmely n s n+1
esetn is igaz.
Q.e.d.
E 16. ttelt a vagyon n-aspektus (n2) szerkezeti trvnynek
nevezem.51
P.: 1./T16/C1, C2, C3, T17, T18.
K.: 1./A4, A5, A6, T1.
n

Corollrium 1:

J =V +V 0, vagyis: ha a (0,t] idintervallumbeli bruttvagyon-vltozsok t. idi

i =1

pontbeli egyenlegeinek (azaz a vagyon trgyainak) halmazt eszkz- s forrs-, azaz kt klnbz
aspektus szerint osztlyozzuk, akkor e vagyonosztlyozsi rendszer osztlyozsainak szerkezete eltr,
de az azonos mrtkegysgben kifejezett kt fsszeg egyenl (T16/C1).

Q.e.d.
P.: 1./T17.
K.: 1./T16.
M

Corollrium 2:

t =1

I(t)=

J =V +V 0, vagyis: ha a (0,t] idintervallumbeli bruttvagyon-vltozsok

i

i =1

halmaza id s a t. idpontbeli egyenlegeik (azaz a vagyon trgyainak) halmaza eszkz-forrs, azaz

egytt hrom klnbz aspektus szerint osztlyozott, akkor e dinamikus s statikus vagyonosztlyozsi rendszer osztlyozsainak szerkezete eltr, de az azonos mrtkegysgben kifejezett hrom fsszeg egyenl (T16/C2).

Q.e.d.
P.: 1./T18, T19, T20, T21.
K.: 1./T16.
Corollrium 3: IM=EM=FM==XM0., azaz: ha a (0,M] idintervallumbeli bruttvagyon-vltozsok
halmaza id s a M. idpontbeli egyenlegeik (azaz a vagyon trgyainak) halmaza eszkz- s forrsas51

Ha e ttelbl s bizonytsbl, valamint minden premisszjbl elhagyjuk a vagyonra val konkrt utalsokat, akkor
e ttel egyben azonos az ltalnos knyvvitel alapvet n aspektus (n2) szerkezeti trvnyvel is.

44
pektust meghalad, egytt N klnbz (N
3 s egsz) aspektus szerint osztlyozott, akkor e dinamikus s statikus vagyonosztlyozsokbl ll vagyonosztlyozsi rendszerhez N klnbz osztlyozsi
szerkezet tartozik, de az azonos mrtkegysgben kifejezett fsszegek mind egyenlk (T16/C3). 52

Q.e.d.
P.: 1./T29.
K.: 1./T16.
Megjegyzs:
Matematikai jellsekkel e kvetkezmny gy rhat le:
IM=EM=FM==XM>0, ahol a klnbz

1, 2, 3,,N (N egsz)

aspektusok szma:
s
a t=M-ik idpontra sszegezett szmsor (rszsszeg) idM

M
osztlyozst I = I(t)>0 (T12),
t =1

az eszkzosztlyozst EM= Ji>0 (T1),

i =1

a forrsosztlyozst FM=VS+VI>0 (T5),

mg az elbbiektl klnbz (A6), valamely lehetsges aspektus, szintn t=M-ik idpontra sszegezett szmsor, N-ik
osztlyozst [pl. a bruttvagyon hitelezk H aspektusa szev

M
rinti felosztst] X = S xH >0 jellheti.
x =1

Az I =E =F ==X >0 formulval kifejezett ttelt a bruttvagyon Naspektus (N3 s egsz), dinamikus s statikus szerkezeti trvnynek nevezem.
M

17. Ttel:

t =1

i =1

Ji(t)=

V (t)+V (t)0, azaz a bruttvagyon IE-IF-aspektus

53

dinamikus vagyon-

t =1

osztlyozsi rendszernek a t=1,2,,M idpontokhoz tartoz azonos dimenzij E-F-aspektus

fsszegei s ezek t=M idpontig szmtott sszegei egyenlk (T17).

A T16/C1 szerint valamely t. idpontban a brutt vagyon E-Faspektus statikus osztlyozsa f- s rszsszegeire rvnyes a
kvetkez (1) formula:
n

(1)

Ji=VS+VI0.

mde a brutt-, a nett vagyon s az adssg

i =1

(1) alatti sszege, termszete szerint (A7,A11,A15), idbeni vltozsok algebrai sszege. Ezrt a bruttvagyon E-F-aspektus vltozsait, az idpontot jell t szerint (t=1,2,...,M) a (t-1;t] id52

Ha e ttelbl, valamint minden premisszjbl elhagyjuk a vagyonra val konkrt utalsokat, akkor e ttel egyben
azonos az ltalnos knyvvitel alapvet n aspektus (n3) dinamikus s statikus szerkezeti trvnyvel is.
53
Az E-F-aspektus jellje a tovbbiakban rviden a eszkz-forrs-aspektus kifejezst. Ugyanakkor pl. az IE-IFaspektus, rtelemszeren, az sszetett id s eszkzid s forrs-aspektus kifejezse.

45
intervallumonknt sszegeznnk lehet. lltom, hogy ekkor a bruttvagyon vltozsainak IE-IF-aspektus dinamikus vagyonosztlyozsi rendszerre fennll a ttel szerint:
M

(2)

t =1

i =1

t =1

Ji(t)= VS(t)+VI(t)0, valamint a (2) egyenlsgrsze

kt sszegnek brmely t. tagjra, hogy:

n

(3)

Ji(t)=VS(t)+VI(t)

(t=1,2,...,K,...,M)

(Ld.

az

albbi

y1

i =1

tblzatot).
Teht a (2) s (3) formula rvnyessgt kell igazolni:

Elszr:
M

A (2) formulban a kt fsszeg

t =1

Ji(t) valamint
i =1

VS(t)+VI(t)
t =1

a brutt vagyon kt klnbz osztlyozst reprezentlja a felttel s a vonatkoz defincik, valamint A6 szerint. Tovbb ezek az
sszegek, az emltett defincik alapjn, egyenknt a brutt vagyon fsszegvel egyenlk. E kt ok miatt a (2) formula nyilvnvalan azonos a T16 ttelbeli ltalnos formulval az n=2 esetben.
Teht a ttel (2) formulval jellt lltsa igaz.
Msodszor:
Most mg a (3) formula rvnyt kell igazolni.

46
Ha t=1 akkor (3) igaz, mert a (2) t=1 mellett is igaz, s ekkor
(2) s (3) azonos.
De (2) igaz t=K s t=K+1 mellett is (K=1,2,...,M). Viszont, ha
(2) t=K+1 mellett is igaz, akkor igaz a kvetkez (4) formula is:
K

(4) Ji(K+1)+

Ji(t)=VS(K+1)+VI(K+1)+ VS(t)+VI(t),

mert

alatti

t =1

(4)

K +1

K +1

t =1

i =1

t =1

i =1

t =1

formula

azonos

kvetkez

egyenlsggel:

Ji(t)= VS(t)+VI(t).
De ha (4) igaz, akkor igaz az albbi (5) is
n

(5)

Ji(K+1)=VS(K+1)+VI(K+1)

(t=K+1=2,...,M), ellenkez esetben,

i =1

ha (5) egyenlsgei nem

noha bizonytottuk, hogy
Teht (5) brmely K+1
K esetn (t=K=1,2,...,M)
ezrt a ttel igaz.
Q.e.d.

llnnak fenn, akkor (4) sem lenne igaz,

igaz.
esetn (t=K+1=2,...,M), (3) pedig brmely
igaz. gy a ttel mindkt lltsa igaz,

E ttelt a bruttvagyon id-eszkz- s id-forrs aspektus dinamikus szerkezeti trvnynek nevezem (T17). 54
P.: 1./T17/C, T20.
K.: A6, A7, A11, A15, T16, T16/C1.
Corollrium: A bruttvagyon tetszleges kt klnbz aspektus dinamikus vagyonosztlyozsnak
t=1,2,..,M idpontjhoz tartoz azonos dimenzij fsszegei s ezek t=M idpontra szmtott sszegei
egyenlk.

Q.e.d.
E formulval kifejezett ttelt a bruttvagyon tetszleges ktaspektus dinamikus szerkezeti trvnynek nevezem (T17/C).55
P.:
K.: T17.
M

18. Ttel:

t =1

I(t)=

t =1

i =1

Ji(t)=

V (t)+V (t)0, azaz a bruttvagyon I-IE-IF aspektus dinamikus

S

t =1

vagyonosztlyozsi rendszernek a t=1,2,,M idpontokhoz tartoz azonos dimenzij E-F aspektus fsszegei s az I(t) idosztlyok, valamint ezek t=M idpontra sszestett sszegei
egyenlk (T18).

Nzzk a kvetkez (1) formult:

54

Ha e ttelbl s bizonytsbl, valamint minden premisszjbl elhagyjuk a vagyonra val konkrt utalsokat, akkor
e ttel egyben azonos az ltalnos knyvvitel alapvet n=2 id-attribtum aspektus dinamikus szerkezeti trvnyvel
is.
55
Ha e ttelbl s bizonytsbl, valamint minden premisszjbl elhagyjuk a vagyonra val konkrt utalsokat, akkor
e ttel egyben azonos az ltalnos knyvvitel alapvet n=2 tetszleges id-attribtum aspektus dinamikus szerkezeti
trvnyvel is.

47
M

t =1

t =1

(1) V(M)BR= VBR(t)= I(t)0 (T1, A2),

ahol VBR(t)=I(t) (t=1,2,...,M) valamint VBR(t) s I(t) is a brutt
vagyon egyazon t. idosztlynak rszsszegt jelli. Az (1) alak
a ttel szerinti brutt vagyon (0;M] intervallumhoz tartoz vltozsainak tisztn idaspektus szerinti osztlyozst a rszsszegekkel s fsszeggel reprezentl matematikai formulja a vonatkoz definci szerint, de egyttal szimbolizlja a brutt vagyon
M. idponthoz tartoz mrtkt is T1 s A2 szerint.
Ezek alapjn lltom, hogy igaz a ttelnek megfelel I-IE-IF aspektus szerinti kvetkez kt formula:
(2)

t =1

t =1

I(t)=

i =1

t =1

Ji(t)= VS(t)+VI(t)0, valamint igaz a (2) sze-

rinti sszegek brmely t. tagjra, hogy:

n

(3) I(t)= Ji(t)=VS(t)+VI(t) (t=1,2,...,K,...,M).

i =1

Teht a (2) s (3) formula rvnyt kell igazolni:

Elszr:
M

A (2) formulban a hrom sszeg, azaz:

I(t) s
t =1

t =1

i =1

Ji(t)

va-

lamint

VS(t)+VI(t),

hrom klnbz osztlyozst reprezentl e

t =1

vagyonosztlyozsi rendszerben a felttel s a vonatkoz definci, valamint A6 szerint. Tovbb ezek az sszegek a felttel s az
(1) alaknl emltett definci alapjn egyenknt a brutt vagyon
fsszegvel egyenlk. Ezen okok miatt a (2) formula nyilvnvalan
azonos a T16 ttelbeli ltalnos formulval az n=3 esetben. gy a
ttel (2) formulval jellt lltsa igaz.
Msodszor:
n

Mg a (3) formula [I(t)= Ji(t)=VS(t)+VI(t) (t=1,2,...,K,...,M)]

i =1

rvnyt kell igazolni.

n

A (3) formulbl az

Ji(t)=VS(t)+VI(t)

egyenlsg, azaz az esz-

i =1

kzk dinamikus osztlyozsnak fsszege = forrsok dinamikus

osztlyozsnak
fsszege
egyenlsg
brmely
t
esetn
(t=1,2,...,K,...,M) igaz a T17 szerint. Viszont definci szerint a
n

Ji(t)

s a VS(t)+VI(t) sszegek mindketten a t. idosztlyba,

i =1

vagy mskpp a (t-1;t] idintervallumba tartoz vagyonvltozsok

algebrai sszegt jelentik meg eszkz ill. forrsaspektus szerint,
ezrt
ezek
egyenlk
az
I(t)
rszsszeggel
is
(t=1,2,...,K,...,M).
Teht a ttel mindkt lltsa igaz s ezrt a ttel igaz.
Q.e.d.

48
P.: 1./T18/C1, C2, T20.
K.: 1./A2, A6, T1, T16.
E ttelt a bruttvagyon hrom klnbz, id-, eszkz- s forrsaspektus, dinamikus szerkezeti trvnynek nevezem.
Corollrium 1: A bruttvagyon idaspektus vagyonosztlyozsnak valamely t. idpontjhoz
(t=1,2,..,M) tartoz rszsszege egyenl e vagyon brmely msik, id- s valamely ms aspektus szerinti vagyonosztlyozsnak ugyanezen t. idponthoz tartoz azonos dimenzij fsszegvel (T18/C1).

Q.e.d.
P.:
K.: T18.
Corollrium 2: A bruttvagyon brmely sszetett dinamikus vagyonosztlyozsi rendszernek minden
t. idosztlyhoz (t=1,2,..,M) tartoz rszsszege s ezek sszegei egyenlk (T18/C2).

Q.e.d.
P.:
K.: T18.
A gazdasgi esemnyek s a vagyonosztlyozsi rendszerek kapcsolata
19. Ttel: Brmely s brmennyi gazdlkodspecifikus gazdasgi esemny bekvetkezte a bruttvagyon I-E-F aspektus dinamikus s statikus szerkezeti trvnynek rvnyessgt nem befolysolja, noha ekkor a gazdasgi esemnykoordintknak megfelel vgs vagyonosztlyokhoz
tartoz rszsszegek, a gazdasgi esemny jellegnek megfelelen, megvltoznak.

Jellje a gazdlkod idben vltoz bruttvagyonnak fsszegt

VBR(t). A t=0 idpontban leltrozott vagyon mrtkt mennyisge
s/vagy pnzrtke, vagy ezek ms pozitv egytthatj lineris
transzformltja
szerint

s
szerkezett
mutassa
a
n

VBR(0)=I(0)= Ji=VS+VI0 formula. Vizsgljuk ht meg e bruttvagyon

i =1

id-, eszkz- s forrsaspektus szerkezeti trvnye rvnynek

alakulst, az [1;M] idintervallumban bekvetkez gazdasgi esemnyek (A12, A13) kapcsn elll vltozsok hatsaknt, a T16/C2 ttel szerinti
(1)

t =1

i =1

I(t)= Ji=VS+VI0

formuln. Az I(t) jelli e bruttvagyon

vltozsok t. idosztlynak rszsszegt.

Azt kell teht megmutatnunk, hogy a (1) formulj egyenltlensg, brmely s brmennyi gazdlkodspecifikus gazdasgi esemny
(A12, A13) bekvetkezse esetn is igaz marad, noha ekkor a gazdasgi esemnykoordintknak (A14) megfelel vgs vagyonosztlyokhoz
tartoz rszsszegek, a gazdasgi esemny jellegnek megfelelen
megvltoznak.
Az A15 axima szerint: a t idpontban bekvetkezett gazdasgi
esemny kapcsn, az rintett vagyonosztlyozson bell, (a) egyetlen vgs vagyonosztly rszsszege n, vagy (b) cskken egy X>0
sszeggel (a cskkensre jellje c - ll: c=-X<0), vagy (c)

49
egyik vgs vagyonosztly rszsszege egy X>0 sszeggel cskken,
mg egy msik rszsszege ugyanezen X>0 sszeggel n a t-1 idpontbeli llapothoz kpest. Ms jelleg vagyonvltozs, gazdasgi
esemny vagy ms ok (T12) kapcsn, nem lehetsges.
gy az A15 szerinti hromfle vltozs hatst kell csak vizsglnunk.
Azt kell teht megmutatnunk, hogy a lehet vagyonvltozsokat
hoz gazdlkodspecifikus gazdasgi esemnyek nem teszik rvnytelenn a (1) formult. Minthogy az (a) s (b) szerinti vagyonvltozs csak eljelben klnbzik, ezrt hatsuk egyszerre vizsglhat
ez legyen az (A) eset, mg a (c) tpus vagyonvltozs hatst
kell kln vizsglni s ez legyen a (B) eset.
Az (A) esetbeli valamely gazdasgi esemny kapcsn bekvetkez
bruttvagyonvltozst (nvekedst vagy cskkenst) jellje:
VBR=(VBRx)-VBR=x, amelyben nyilvn x>0 T1 szerint.
Ezen tl a bruttvagyon sajt- s idegenforrs osztlyait, tovbbosztlyozssal, clszerbb alakra hozzuk. Legyenek teht a
forrsok vgs osztlyaihoz tartoz rszsszegek: VS,w s VI,p minden w s p indexrtkre. Ekkor:
(A1) VS=VS,1+...+VS,w+...+VS,k (sajt forrsok rszsszegei),
(A2) VI=VI,1+...+VI,p+...+VI,r (idegen forrsok rszsszegei).
Ha pedig knyelmi okokbl a w s p indexek maximlis rtkt
sszegezzk, akkor VS s VI helyett bevezethetjk a kvetkez, ltalnos forrs- vagy tkevltozkat: Vj, ahol j=1,2,...,z=k+r.
Ekkor rhat:
(A3) VBR=VS+VI=V1++Vj++VZ, vagy rvidebben:
z

(A4) VBR=V1++Vj++VZ= Vj.

j =1

A (1) formula most ekkpp alakthat t a bevezetett j forrsrszsszeg-jellssel:

(2)

t =1

i =1

j =1

I(t)= Ji= Vj0, amely rszletezve a kvetkez:

(A5) I(1)++I(t)++I(M)=J1++Ji++Jn=V1++Vj++VZ0.
Mrmost: a felttel szerint, valamely [1,M] idintervallum t.
idpontjban kvetkezzen be a VBR=x (x>0; T1) vagyonvltozst jelent
gazdasgi esemny, a gazdlkod gazdasgi tevkenysgnek,
vagy gazdasga termszeti-, trsadalmi- ill. gazdasgi krnyezetnek hatsra (A12). Ez a gazdasgi esemny, mondjuk, a javak i-edik
eszkzosztlyt, azaz a Ji rszsszeget rintse (Jix). Ekkor a
bruttvagyon id-, eszkz- s forrsaspektus fsszegei egyenlk
kell legyenek az A4 axima s a T16/C2 ttel szerint. De csak gy
lehetnek egyenlk, ha az egyenlkhz egyenlket adunk, illetve, ha
az egyenlkbl egyenlket vesznk el, azaz: ha az rintett eszkzfajta Ji rszsszegvel egyszerre egy megfelel forrsfajta (forrsosztly) Vj rszsszege s egy megfelel "idfajta" (idosztly)

50
I(t)
rszsszege is megvltozik, mgpedig azonos mrtkben s
azonos eljellel. (Ellenkez esetben T16/C2 s A4 hamis kellene
legyen, noha mindkett igaz.) Legyen a megvltoz forrsfajta
rszsszege, mondjuk a Vj, az idfajt pedig I(t). gy valban az
egyenlsg-egyenltlensg nem, csak hrom rszsszeg vltozik meg.
Az (A5) formula teht gy alakul:
(A6) I(1)++[I(t)
x]++I(M)=J1++(Jix)++Jn=V1++(Vjx)++VZ0.

56

Az egyenlsg-egyenltlensg rvnye teht a VBR=

x (x>0) brutt-vagyonvltozs ellenre megmaradt, hiszen mindhrom aspektus
fsszeg azonosan: x rtkkel vltozott. Ezt a x kiemelsvel,
mg jobban szemlltethetjk:
M

t =1

i =1

j =1

(A7) x+ I(t)=x+ Ji=x+ Vj0.

Termszetesen a x vagyonvltozs csak azrt trtnhetett meg,
mert a felttel rtelmben a gazdasgi esemny bekvetkezhetett,
azaz definci szerint nem volt lehetetlen gazdasgi esemny.
Vagyis a gazdasgi esemnykoordintk <t,i,j>57 szerint rintett
vagyonosztlyok rszsszege nem vlthatott eljelet, ha azt az
osztly vagy a gazdasgi esemny jellege nem tette lehetv. gy
egy eszkzaspektusbeli s eredenden pozitv Ji nullv vlhat, m
nem vlhat negatvv, mert semmibl nem lehet valamit elvenni, az
ugyanis nonszensz. (Pl. ha nincs egy rva garas sem a pnztrban,
akkor e semmi pnzbl nyilvnvalan nem lehet egyetlen garast sem
elvenni.) Mg ha pl. Vj a rfordts (a kltsg) rszsszege, akkor
pedig az nem vlhat pozitvv mert akkor a vagyon gy cskkenne,
hogy nne, vagy mskpp: a vagyon akkor gy cskkenne, hogy a rfordts (a kltsg) hozam lenne a vonatkoz defincik szerint
m ez is nonszensz. (Ugyanis pl. a kltsgosztly elemei, azaz a
hinyz (mr elveszett) vagyontrgyak, ltez vagyontrgyakk vlnnak, azaz a nincs lenne a van. Ez is kptelensg lenne.)
A ttel igazolshoz kihasznljuk azt, hogy a VBR=x (x>0) az
elbbi nem-negatvitsi ill. nem-pozitvitsi korlt mellett lehet brmennyi s brmekkora nvekeds, vagy cskkens, merthogy
VBR=x nagysgt ill. elfordulsainak szmt nem hatroztuk meg,
s hogy t az [1;M] zrt intervallumban brmely idpontot jelenthet,
mikzben M is brmekkora lehet. Kihasznljuk tovbb azt is, hogy
x brmely I(t)-hez s Ji-hez (i=1,2,...,n), illetve Vj-hez
(j=1,2,...,z) addhat, feltve, hogy a <t,i,j> gazdasgi esemnykoordinta-hrmas egyltaln rtelmes58.
56

Az alhzott rszsszegek azon vgs osztlyok rszsszegei, melyek valamely gazdasgi esemny bekvetkezte
kapcsn, az esemny jellege szerint megvltoznak. A tovbbiakban is, ahol indokolt, alhzssal jelzem azt, ami ajnlott a figyelemre.
57
Most az esemnykoordintk az egyszersg kedvrt csak a vltozs helyt jelzik, jellegt nem, s kivtelesen jelzik
a vltoz t. idosztly helyt is.
58
rtelmes (vagy relis) az az esemnykoordinta-n-es, amely a gazdlkodspecifikus gazdasgi esemny valamelyiknek bekvetkezse kapcsn, a gazdlkod vagyonosztlyozsi rendszerben azokat, s csakis azokat a vgs vagyon-

51
Mindezek alapjn belthat, hogy brmennyi ilyen tpus, s tetszleges VBR=x (x>0) mrtk vagyonvltozssal jr gazdasgi
esemny bekvetkezte sem teszi rvnytelenn a (2) formult.
Ezzel a ttelt az (A) esetre igazoltuk.
A (B) eset igazolshoz az (A5) alatti formulbl induljunk ki
jbl, de az ltalnos Ji elem mell vegyk fel a Jk elemet is
[ahol 1i,kn; s ik; feltve, hogy <i,k>59 gazdasgi esemnykoordintk rtelmesek]:
(B1) VBR=I(1)++I(t)++I(M)=J1++Ji++Jk++Jn=V1++Vj++Vz0.
Most elszr, a t. idpontban bekvetkezett gazdasgi esemny
kapcsn, az eszkzaspektus rintett vgs osztlyok rszsszegei
vltozzanak meg egy x>0 rtkkel az A15 axima (c) rsze szerint.
Ha az x>0 vagyonvltozssal jr gazdasgi esemny bekvetkezett, s mondjuk a t. idpontban az eszkzk egyike, pl. a k-ik
eszkzfajta Jk rtke cskkent x-el, azaz a Jk=Jk-x0 rtket vette
fel, mg egy msik eszkzfajta (legyen ez pl. az i-ik) Ji rtke
ntt x-el, azaz a Ji=Ji+x rtket vette fel [feltve, hogy <i,k>
esemnykoordintk egyltaln rtelmesek], akkor:
Ji+Jk=(Ji+x)+(Jk-x)=(x-x)+Ji+Jk=0+Ji+Jk=Ji+Jk.
Vagyis az i. s k. eszkzosztlyok rszsszegeinek egyttes szszege vltozatlan maradt (Ji+Jk=Ji+Jk), mert az ellenttes irny
vltozsok mintegy "kioltottk", kompenzltk egymst, hiszen xx=0, azaz sszessgben nincs vltozs. m ebbl az is kvetkezik:
nem vltozhat az eszkzosztlyozs fsszeg sem A4 miatt.
Ugyanekkor a t. idponthoz tartoz (t-1;t] idintervallum, azaz
"idosztly", I(t) rszsszege pedig gy vltozik, hogy n is s
cskken is x-el, gy voltakpp nem vltozik.
Azaz: (B1) formula egyenlsgrsze ekkor gy alakul:
(B2)

VBR=I(1)++[I(t)+x-x]++I(M)=
=J1++(Ji+x)++(Jk-x)++Jn=V1++Vj++VZ0,

vagy mskpp, mivel x-x=0, ezrt

I(t)+x-x=I(t)+0=I(t), vagyis
(B3)

VBR=I(1)++I(t)++I(M)=
=J1++J'i++J'k++Jn=V1++Vj++VZ0,

ahol Ji=Ji+x, Jk=Jk-x [1i,kn; ik; feltve, hogy <i,k> esemnykoordintk rtelmesek60] a tnyleg egyms "rovsra" vltoz Jk s Ji
osztlyokat jelli meg maradktalanul , amelyeknek e gazdasgi esemny jellege s tartalma szerint meg kell
vltozzon a rszsszegk.
59
Ld. elbbi lbjegyzetet.
60
rtelmes (vagy relis) az az esemnykoordinta-n-es, amely a gazdlkodspecifikus gazdasgi esemny valamelyiknek bekvetkezse kapcsn, a gazdlkod vagyonosztlyozsi rendszerben azokat, s csakis azokat a vgs vagyonosztlyokat jelli meg maradktalanul , amelyeknek e gazdasgi esemny jellege s tartalma szerint meg kell
vltozzon a rszsszegk (D45).

52
rszsszeg j rtke. A +x, -x egy helyre gyjtsvel (tovbbi tcsoportostsval mg szemlletesebb tehet a fsszeg vltozatlansgnak oka:
M

t =1

i =1

(B4) VBR= I(t)=( Ji)+x-x= Ji= Vj0,

i =1

j =1

i =1

i =1

i =1

hiszen x-x=0, s ( Ji)+x-x=( Ji)+0= Ji.

A (2) ill. (B1) egyenlsg-egyenltlensgrendszerben az id-, az
eszkz- s a forrs fsszeg a vagyon x>0 rtk, eszkzaspektus,
struktravltozssal jr (kompenzatv) gazdasgi esemny ellenre
nem vltozott. Itt is kihasznljuk, hogy x>0 lehet brmekkora a
vagyonosztlyok szmrtknek nemnegatvitsi korltja mellett.
s, hogy a t brmely idpontot jelenthet (t=1,2,...,M), mikzben M
is brmekkora lehet. Azt is kihasznljuk, hogy x brmely Ji-hez
hozzadhat s brmely Jk-bl levonhat, feltve, hogy az <i,k>
esemnykoordintapros egyltaln rtelmes.
Hasonl mdon megmutathat, hogy a (2) formula akkor is rvnyben marad, ha az x>0 strukturlis vagyonvltozs a forrsosztlyokon kvetkezik be, vagyis:
M

t =1

i =1

j =1

(B5) VBR= I(t)= Ji=V1++(Vj+x)++(Vh-x)++Vz=( Vj)+x-x0,

[ahol (1j,hz; jh), feltve, hogy a <j,h> prkapcsolat egyltaln
rtelmes], illetve akkor is, ha csak az "idosztlyokon". Br ez
utbbi nem lehet valsgos gazdasgi esemny.61 Itt is mint arra
mr utaltunk fennll:
M

(B6) VBR=I(1)++[I(t)+x]++[I(u)-x]++I(M)=[ I(t)]+x-x=

t =1

t =1

t =1

i =1

j =1

=[ I(t)]+0= I(t)= Ji= Vj0

ahol (1t,uM; tu), feltve, hogy a <t,u> esemnykoordintapros
egyltaln rtelmes.
Mivel az (A) s (B) ttelrsz is igaz gy maga a teljes ttel is
igaz.
Q.e.d.
P.: 1./T19/C1, C2; T20, T21.
K.: 1./A2, A4, A12, A13, A14, A15, T1, T16/C2.
Corollrium 1: Brmely vagyonosztlyozs (abszolt vagy relatv) fsszege kovarins (egyttvltoz)
rszsszegnek gazdasgi esemny kapcsn bekvetkez nvekedsre vagy cskkensre, mg invarins (nem egyttvltoz) kt rszsszegnek kompenzcis (ellenttes eljel, de azonos nagysg) vltozsra nzve (T19/C1.

P.: 1./T28, 2./T8.

K.: 1./T19.

61

E lehetsg mibenltrl a knyvviteli princpiumok s ttelek kapcsn ejtnk szt.

53
Corollrium 2: Brmely vagyonosztlyozs rszsszege invarins (nem egyttvltoz)
vagyonosztlyozs gazdasgi esemny kapcsn megvltoz rszsszegre vagy rszsszegeire nzve.

P.:
K.: T19.
20. Ttel: Brmely s brmennyi gazdlkodspecifikus gazdasgi esemny bekvetkezte a bruttvagyon I-IE-IF aspektus dinamikus szerkezeti trvnynek rvnyessgt nem befolysolja, noha
ekkor a gazdasgi esemnykoordintknak megfelel vgs vagyonosztlyokhoz tartoz rszszszegek a gazdasgi esemny jellegnek megfelelen megvltoznak.

Ha a T16/C2 ttel

t =1

i =1

I(t)= Ji=VS+VI0 formulja Ji,VS,VI

vltoz-

it is t szerint (t=1,2,...,M) vesszk amikor minden t-hez a (t1;t] idintervallum s definci szerint a benne trtnt vltozsok egyenlege I(t) tartozik a kvetkez formulasor addik:
t)

t-ik formula
n

1) I(1)= Ji(1)=VS(1)+VI(1),
i =1
n

2) I(2)= Ji(2)=VS(2)+VI(2),
i =1

.
n

t) I(t)= Ji(t)=VS(t)+VI(t),
i =1

.
n

M) I(M)= Ji(M)=VS(M)+VI(M) [v. T18 (3) formula].

i =1

A megfelel oldalakat sszegezve a T18 ttelbeli igazolt rvny

(2) formult kapjuk [jelljk most (A)-val]:
(A)

t =1

t =1

I(t)=

i =1

t =1

Ji(t)= VS(t)+VI(t)0.

Azt kell megmutatnunk, hogy a bruttvagyon (A) formula ltal

reprezentlt id-, eszkz- s forrsaspektus dinamikus szerkezeti
trvnye rvnyben marad brmely s brmennyi (nem lehetetlen)
gazdlkodspecifikus gazdasgi esemny kvetkezik is be, noha ekkor az (rtelmes) esemnykoordintknak megfelel vgs vagyonosztlyokhoz tartoz rszsszegek megvltoznak.
M

Mrmost:

t =1

i =1

i =1

Ji(t)= Ji s

t =1

j =1

VS(t)+VI(t)=VS+VI= Vj, ha elszr

csak az id, azaz t szerint sszegezzk az egyes eszkz- s forrsfajtk vltozsait, mg i illetve j szerint nem. De ekkor (A)
ekvivalens az albbi (B) formulval:

54

(B)

t =1

i =1

j =1

I(t)= Ji=VS(t)+VI(t)= Vj0.

A (B) formula viszont ekvivalens a T16/C2 ttel mr emltett

M

t =1

i =1

I(t)= Ji=VS+VI0 formuljval, amire nzve viszont a T19 ttelben mr bizonytottuk az e ttelnek is megfelel lltst.
Q.e.d.
P.: 1./T20/C1, C2, C3, C4, C5, C6, C7.
K.: 1./T16/C2, T18, T19.
Corollrium 1: A gazdlkod anyagi helyzete s annak minden tnyezje a gazdlkodspecifikus gazdasgi esemnyek kapcsn idben vltozik.

P.: 1./T29.
K.: 1./T20.
Corollrium 2: Az I=E=F0 formulval reprezentlt vagyonosztlyozsi rendszer osztlyozsai egymstl fggetlenek a csak szerkezeti vagyonvltozsok tekintetben.

P.:
K.: 1./T20.
Corollrium 3: Az I=E=F
0 formulval reprezentlt 3 aspektus vagyonosztlyozsi rendszerben,
karakterisztikjnak megfelelen, vagyonnvekeds vagy cskkens esetn mindig 3 az I s az E s
az F aspektus vagyonosztlyozshoz tartoz egy-egy , mg csak szerkezetvltozs esetn mindig 2
vagy csak az I, vagy csak az E, vagy csak az F aspektus osztlyozshoz tartoz rszsszeg vltozik meg.

P.:
K.: T20.
Corollrium 4: Az I=E=F==X
0 formulval reprezentlt N aspektus (N
3 s egsz) vagyonosztlyozsi rendszerben, karakterisztikjnak megfelelen, vagyonnvekeds vagy cskkens esetn mindig N de osztlyozsonknt csak egy , mg csak szerkezetvltozs esetn, ha mindegyik osztlyozs fggetlen a tbbitl, mindig csak az egyik osztlyozshoz tartoz 2 rszsszeg vltozik meg. Ha a
rendszerben van mg nem fggetlen K (1KN-3 s egsz) vagyonosztlyozs is, akkor sszesen legfeljebb 2K+2 rszsszeg vltozik meg K+1 osztlyozsban.

P.:
K.: T20.
Corollrium 5: Elvonatkoztatva az idaspektustl, az E=F
0 formulval reprezentlt vagyonosztlyozsi rendszerben, karakterisztikjnak megfelelen, brmely gazdasgi esemny kapcsn mindig csak
2, E s/vagy F vagyonosztlyhoz tartoz rszsszeg vltozik meg brhogyan is vltozik a vagyon.

P.:
K.: T20.
Corollrium 6: Az I=E=F==0 formulval reprezentlt explicite N-szeres (N
3 s egsz) vagy az
IE=IF==0 formulval reprezentlt implicite N-szeres (N
2) vagyonosztlyozsi rendszer szerkezeti
trvnye rvnyes lesz a vagyon s adssg nlkl kezd (VBR=0 s VI=0), valamint a csak adssggal
rendelkez (VBR=0 s VI=A>0 s VS= -A<0, s F=VS+VI=0) gazdlkod esetn, brmely s brmennyi
gazdlkodspecifikus gazdasgi esemny kvetkezik be.

P.: 2./T2.

55
K.: 1./T20.
A termszetes vagyonosztlyozs trvnye s a termszetes vagyonosztlyok
Corollrium 7: A t. idpontokban (t=1,2,,M) bekvetkez gi(t) [i=1,2,,n] gazdlkodspecifikus
gazdasgi esemnyek fokozatosan - termszetes kronolgia szerint felptik s minden t. idpontban
egyrtelmen meghatrozzk a gazdlkod vagyonosztlyozsi rendszert. E termszetes folyamat
minden t. idpontjban: a gi(t) esemnyek jellegnek s koordintinak megfelel rszsszegek megvltoznak (nnek s/vagy cskkennek) . Ez trtnik akkor is, ha e vltozsok nyilvntartottak s akkor
is, ha nem; s akkor is, ha e vltozsok koordinti mg csak kikvetkeztethetk a gi(t) gazdasgi esemnyek idpontja s neve (lersa) adataibl.

P.:
K.: 1./T20, 2./T2.
E T20/C7 ttelt a termszetes vagyonosztlyozs trvnynek, mg a
ltrejtt osztlyokat termszetes vagyonosztlyoknak nevezem.
Komplett s inkomplett vagyonosztlyozsi rendszerek
21. Ttel: A (0,M] idintervallumban vltoz bruttvagyon I=E=F0 formulval reprezentlt explicite
N-szeres (N=3) vagyonosztlyozsi rendszere komplett rendszer (T21).

A vonatkoz definci rtelmben valamely gazdlkod vagyonnak

vagyonosztlyozsi rendszert komplettnek nevezem, ha az kielgten
informatv
s
egyben
zrt
a
gazdlkodst
jellemz
(gazdlkodspecifikus) gazdasgi esemnyekre nzve.
Azt kell teht megmutatnunk, hogy a T16/C2 ttelbeli I-E-F aspektus
(1)

t =1

i =1

I(t)= Ji=VS+VI0

formulval reprezentlt vagyonosztlyozsi rendszer kielgten

informatv s egyben zrt a gazdlkodspecifikus gazdasgi esemnyekre nzve.
(A) Elszr mutassuk meg, hogy az (1) formulval szimbolizlt
vagyonosztlyozsi rendszer kielgten informatv. Ez fennll, ha
a vagyonosztlyozsi rendszert kpvisel formula a gazdlkod
adott idpontbeli anyagi helyzett, s legalbb bruttvagyonnak
ezen idpontig tart idbeli vltozst mutatja, per definiendem.
De a gazdlkod anyagi helyzete alatt, definci szerint, brutt- s nettvagyona, valamint adssga adott idpontbeli nagysgt
valamint osztlyai s rszsszegei szerinti szerkezett rtem.
Az (1) formulban:
a t=M idpontban sszegzett bruttvagyon VBR0 (T1, A2), az eszkz
n

( Ji) s forrs (VS+VI) aspektus fsszegeivel szerepel (ld. a

i =1

kvetkez (2) formult):

n

(2) VBR= Ji=VS+VI0.

i =1

56
Szerepel tovbb a nett- vagy sajtvagyon: (3) VS 0 (T5), valamint
az adssg vagy idegenvagyon: (4) VI0 (T2, A2), s lthat az
elbbiek szerkezete is, hiszen:
n

(5) VBR= Ji=VS+VI=J1+..+Ji+..+Jn=VS+VI0.

i =1

Teht az (1) formula mutatja a gazdlkod t=M idpontban fennll anyagi helyzett.
Ugyanakkor az (1) formula egyenlsgnek els tagja mutatja a
bruttvagyon idbeli vltozst is a t=M idpontig, a t szerinti
(0;M] jobbrl zrt idintervallumban:
M

(6) VBR= I(t)0.

t =1

Az (1) formulj vagyonosztlyozsi rendszer teht a (2), (3),

(4), (5) s (6) formulk szerint valban a defincinak megfelelen kielgten informatv.
(B) Most mg azt kell megmutatni, hogy a VBR0 bruttvagyon (1)
formulval reprezentlt vagyonosztlyozsi rendszere egyben zrt
is a gazdlkodspecifikus gazdasgi esemnyekre nzve.
Definci szerint valamely vagyonosztlyozsi rendszert zrtnak
nevezek a gazdlkodspecifikus gazdasgi esemnyekre nzve akkor
s csak akkor, ha e gazdasgi esemnyek brmelyiknek bekvetkezsekor vannak a vagyonosztlyozsi rendszerben az esemny jellegnek megfelel olyan rszsszegek, amelyek az esemny eltti llapothoz kpest, az esemny tartalmnak megfelelen, megvltoznak.
Mrmost a bizonytott T19 ttel szerint: a bruttvagyon id-,
eszkz- s forrsaspektus, dinamikus s statikus szerkezeti trvnynek (reprezentns formulja:)
M

t =1

i =1

(T) VBR= I(t)= Ji=VS+VI0

rvnyessgt brmely s brmennyi gazdlkodspecifikus gazdasgi esemny bekvetkezse sem sznteti meg, noha ekkor a gazdasgi
esemnykoordintknak megfelel vgs vagyonosztlyokhoz tartoz
rszsszegek megvltoznak. Ugyanakkor a (T) formula azonos az (1)
formulval, kvetkezskpp az (1) formulval reprezentlt rendszer
zrt a gazdlkodspecifikus gazdasgi esemnyekre nzve.
Megmutattuk teht, hogy a bruttvagyon (1) illetve (T) formulval reprezentlt vagyonosztlyozsi rendszer (A) kielgten informatv s (B) egyben zrt is a gazdlkodspecifikus gazdasgi
esemnyekre nzve, azaz: komplett rendszer.
Q.e.d.
P.: 1./T21/C1, C2, C3, C4, C5; T23, T24, T28.
K.: 1./A2, T1, T2, T16/C2, T19.
Corollrium 1: A bruttvagyon I=E=F==X0 formulval reprezentlt explicite N-szeres (N
3) vagyonosztlyozsi rendszere komplett.

Q.e.d.
P.: 1./ T23, T24, T25.
K.: 1./T21.

57
Corollrium 2: A bruttvagyon IE=IF==IX
0 formulval reprezentlt implicite N-szeres (N
2)
vagyonosztlyozsi rendszere komplett.

Q.e.d.
P.: 1./T23, T24, T25, T26, T28.
K.: 1./T21.
Corollrium 3: Ha a bruttvagyon osztlyozsi rendszere (esetleg ms statikus vagyonosztlyozsok
mellett) csak I, vagy E, vagy F, avagy E s F, vagy I s E, vagy I s F aspektus vagyonosztlyozsbl
ll, vagy ezek egyikt sem tartalmazza, akkor az ilyen vagyonosztlyozsi rendszer inkomplett, br az
E=F
0 vagyonosztlyozsi rendszer zrt a gazdlkodspecifikus gazdasgi esemnyekre nzve.

Q.e.d.
P.: 1./ T26, T28.
K.: 1./T21.
Corollrium 4: A vagyon id-, eszkz- s forrs-aspektusa s az I-E-F aspektus szerinti osztlyozsa a
vagyonosztlyozs immanens tulajdonsga, azaz attribtuma.

Q.e.d.
P.:
K.: T21.
Corollrium 5: A mrvad vagyonaspektusok maximlis szma n, s 3<n<X(t,E), ahol X ismeretlen
nagysg termszetes szm s fels korltjnak rtke fgg a t idponttl (milyen naptri vet runk
pp) s a gazdlkod gazdlkodsi profiljtl, gazdasga nagysgtl s bonyolultsgtl, melyeket az
eszkzk szerkezetvel s fsszegvel (E=
ei) jellemezhetnk.

Q.e.d.
P.:
K.: T21.
P P P
P P
22. Ttel: Az I =E =F 0 vagy az E =F 0 formulval reprezentlt, a bruttvagyonbl csak a
pnzvagyont mutat pnzforgalmi szemllet vagyonosztlyozsi rendszer inkomplett.

Reprezentlja

VBR0

(T1,A2)

bruttvagyon

(N=3) vagyonosztlyozsi rendszert az

explicit

t =1

i =1

I(t)= Ji=VS+VI0

N-szeres
formula.

Ez komplett rendszer a T21 ttel szerint.

Jellje a bruttvagyonbl a pnzvagyon nagysgt VPBR0 (T1,A2),
mg a bruttvagyon "naturlikat" tartalmaz rsz nagysgt VNBR0
(T1,A2).
M

t =1

i =1

Ekkor nyilvn VBR=VPBR+VNBR= I(t)= Ji=VS+VI0, ahol

M

t =1
M

i =1
n

t =1

i =1

(P) VPBR= IP(t)= JPi=VPS+VPI0 s

(N) VNBR= IN(t)= JNi=VNS+VNI0.
Vizsgljuk meg a pnzvagyon (P) IP=EP=FP0 formulval reprezentlt vagyonosztlyozsi rendszert.
Tegyk fel, hogy az

58

(P)

BR= I (t)= J i=V S+V I0

P

t =1

formulval

reprezentlt

vagyon-

i =1

osztlyozsi rendszer komplett.

Ksreljk meg ezt az lltst bebizonytani.
(A) A komplett vagyonosztlyozsi rendszer, definci szerint,
kielgten informatv s zrt a gazdlkodspecifikus gazdasgi
P
esemnyekre nzve. mde V BR nem a teljes vagyon nagysga, mert a
brmely gazdlkod gazdlkodsra jellemz gazdasgi esemnytpusok sorban mindig van olyan gazdasgi esemny, amelynek bekvetkezte nem rinti a gazdlkod pnzeszkzeit, pnzvagyont (A16)
csak ms jelleg vagyonrszt. Teht az ilyen gazdasgi esemny hatsa nyilvn nem mutatkozhat meg a neki megfelel vgs osztlyokat nem tartalmaz IP=EP=FP0 szerinti vagyonosztlyozsi rendszerben. Ezrt igaz, hogy VBR>VPBR, VS>VPS s VI>VPI. Teht VPBR nem tartalmazza a teljes brutt vagyont, VPS a teljes sajtvagyont,
P
valamint V I nem tartalmazza a teljes idegen vagyont/adssgot.
Ugyanis a naturlikat tartalmaz vagyonrszek s a velk sszefgg forrsok sszegei hinyoznak ezekbl. Kvetkezskppen VPBR a
N
N
naturlikban megtestesl vagyonrl (V BR) s annak sajt (V S) illetve idegen (VNI) forrsrl informcit nem kpes nyjtani. Teht
az (P) szerinti vagyonosztlyozsi rendszer nem lehet komplett.
M

(B) Tovbb VBR> I (t) is nyilvn fennll, mert

t =1

(t) csak a

t =1

brutt pnzvagyon idbeli alakulst mutatja, a naturlikt nem

(A16). De lltottuk, hogy IP=EP=FP0 szerinti rendszer komplett,
azaz a teljes vagyonrl informl, mde nem. Ellentmondsra jutottunk. Kvetkezskppen a kiindul lltsunk ellenkezje az igaz.
Teht az (A) s (B) rszben igazoltuk, hogy a (P) formulval
reprezentlt vagyonosztlyozsi rendszer inkomplett.
(C) Ugyanakkor az is kimutathat, hogy a (P) formulval reprezentlt
vagyonosztlyozsi
rendszer
nem
is
zrt
a
gazdlkodspecifikus gazdasgi esemnyekre nzve. Ugyanis az, a
naturlikat rint gazdasgi esemnyek naturlis rsz- s fszszegekre val hatst nyilvn nem kpes mutatni minthogy az
IP=EP=FP0 szerinti rendszerben nincs egyetlen vgs osztly sem az
IN=EN=FN0 szerinti rendszer vgs osztlyaibl. mde a minden gazdlkod gazdlkodsra jellemz gazdasgi esemnytpusok sorban,
mindig van olyan gazdasgi esemny, amelynek bekvetkeztvel csak
pnzeszkzn kvli eszkz- s/vagy forrsosztly rszsszege vltozik meg (A16). De az ilyen esemny hatsa nyilvn nem mutatkozhat
meg a (P) szerinti pnzforgalmi szemllet vagyonosztlyozsi
rendszerben. Kvetkezskppen az (P) formulval reprezentlt rendszer nem teljesti a komplettsg msik nlklzhetetlen felttelt
sem: nem zrt a gazdlkodspecifikus gazdasgi esemnyekre nzve.
Teht emiatt is inkomplett.

59

(D) Vgl (A) s (C) miatt inkomplett a (P2) V

BR= J i=V S+V I0

P

i =1

formulval reprezentlt vagyonosztlyozsi rendszer is, de (P2)

hinyossga mg az is, hogy a vagyon idbeli vltozst a pnzvagyonra sem mutatja.
Teht: az (A), (B), (C) s (D) rszben igazoltuk, hogy: Az
IP=EP=FP0 vagy az EP=FP0 formulval reprezentlt, a bruttvagyonbl csak a pnzvagyont mutat pnzforgalmi szemllet vagyonosztlyozsi rendszer inkomplett.
Q.e.d.
P.:
K.: 1./A2, A16, T1, T21.
23. Ttel: Ha a VBR0 bruttvagyon vagyonosztlyozsi rendszere komplett, akkor van benne id-,
eszkz- s forrsosztlyozs.

A VBR0 (T1,A2) bruttvagyon vagyonosztlyozsi rendszere komplett

a felttel szerint. Ugyanakkor tegyk fel, hogy
(H) nincs e rendszerben id-, eszkz s forrsosztlyozs. De ez
a (H) felttelezs ellentmond a mr bizonytott T21, T21/C1 s T21/C2
tteleknek, melyek szerint egy komplett rendszerben van id-, eszkz s forrsosztlyozs. Teht a (H) llts hamis, kvetkezskpp a ttel igaz.
Q.e.d.
P.:
K.: A2, T1, T21, T21/C1, T21/C2.
24. Ttel: Ha a gazdlkod VBR0 bruttvagyonnak vagyonosztlyozsi rendszere komplett, akkor zrt a gazdlkodspecifikus gazdasgi esemnyekre nzve.

A felttel szerint a gazdlkod VBR0 (T1,A2) bruttvagyonnak vagyonosztlyozsi rendszere komplett (T21 s T21/C1). Ugyanakkor tegyk fel, hogy (H) nem zrt a gazdlkodspecifikus gazdasgi esemnyekre nzve.
De ez a (H) felttelezs ellentmond a mr bizonytott T21, T21/C1
s T21/C2 tteleknek, melyek szerint egy komplett rendszer zrt a
gazdlkodspecifikus gazdasgi esemnyekre nzve. Teht a (H) llts hamis, kvetkezskpp a ttel igaz.
Q.e.d.
P.:
K.: A2, T1, T21, T21/C1, T21/C2.
25. Ttel: A bruttvagyon N "serpenys" (N2) mrlege komplett rendszer.

A bruttvagyon I(M)=E(M)=F(M)==X(M)0 formulval (M idpont s

M=1,2,...) reprezentlt explicit N-szeres (N3) [T21/C1 szerint],
illetve az IE(M)=IF(M)=...=IX(M)0 formulval reprezentlt [T21/C2

60
szerint] implicit N-szeres (N2) vagyonosztlyozsi rendszere komplett.
Ugyanakkor a vonatkoz definci rtelmben a bruttvagyon N
"serpenys", vagy mskpp: N-szeres (N2) mrlegnek nevezzk annak
implicite vagy explicite N-szeres vagyonosztlyozsi rendszert
(valamely M. idpontban). E definci alapjn, teht a bruttvagyon N "serpenys" mrlege explicite vagy implicite N-szeres (N2)
vagyonosztlyozsi rendszer, s mint olyan, komplett rendszer.
Q.e.d.
P.:
K.: T21/C1, T21/C2.
26. Ttel: Ha egy vagyonosztlyozsi rendszer komplett, akkor vagy explicit N-szeres (N3) s
osztlyozsai kztt a dinamikus I s a statikus E s F vagyonosztlyozs szerepel, vagy implicit
N-szeres (N2) s osztlyozsai kztt a dinamikus I-E s I-F sszetett vagyonosztlyozs szerepel.

Jellje a vagyonosztlyozsi rendszert S, aspektusainak szmt

N, jellje tovbb a dinamikus id- s a statikus eszkz- s forrs, valamint a dinamikus id-eszkz s id-forrs aspektus osztlyozsokat rendre: I, E, F, illetve I-E s I-F. Tovbb, ha a
vagyonosztlyozsi rendszer explicite N-szeres, akkor jellje ezt
Sexpl s Nexpl, mg, ha implicite N-szeres, akkor jellje ezt Simpl
s Nimpl.
Igazoljuk az explicit N-szeres (I.) s az implicit N-szeres
(II.) esetre kln a ttelt.
(I.) Ekkor, ha kiss tfogalmazzuk a ttelnek ezt a rszt s
alkalmazzuk a bevezetett jellseket, rhatjuk a kvetkezt:
(1) Minden komplett Sexpl esetn igaz: Nexpl3 s van I s E s F
vagyonosztlyozsa.
lltsuk az (1) ttelrsz ellenkezjt:
(2) Nem minden komplett Sexpl esetn igaz: Nexpl3 s van I s E s
F vagyonosztlyozsa. Vagy mskpp: Van olyan komplett Sexpl melyre
igaz: vagy Nexpl<3 vagy nincs I vagy nincs E vagy nincs F vagyonosztlyozsa (a vagy itt nyilvn megenged s nem kizr rtelemben hasznlt).
Ekkor a komplett Sexpl-ben legyen Nexpl<3 s osztlyozsi
rendszere (esetleg ms statikus vagyonosztlyozsok mellett) csak
I, vagy E, vagy F, avagy E s F, vagy I s E, vagy I s F aspektus vagyonosztlyozsokbl lljon, vagy ezek egyikt se tartalmazza. Vagy: legyen Nexpl3, de a komplett Sexpl (esetleg ms statikus
vagyonosztlyozsok mellett) csak I, vagy E, vagy F, avagy E s F,
vagy I s E, vagy I s F aspektus vagyonosztlyozsokbl lljon,
vagy I, E, F egyikt se tartalmazza.
mde T21/C3 szerint: ha a bruttvagyon osztlyozsi rendszere
(esetleg ms statikus vagyonosztlyozsok mellett) csak I, vagy E,
vagy F, avagy E s F, vagy I s E, vagy I s F aspektus vagyonosztlyozsokbl ll, vagy ezek egyikt sem tartalmazza, akkor az

61
ilyen vagyonosztlyozsi rendszer inkomplett. Ez viszont cfolja
(2) alatti lltsunkat, kvetkezskppen az (1) alatti az igaz.
(II.) A ttel msodik rsze szintn tfogalmazva s a bevezetett
jellsekkel gy rhat:
(1) Minden komplett Simpl implicit N-szeres vagyonosztlyozsi
rendszerre igaz: Nimpl2 s van I-E s I-F vagyonosztlyozsa.
lltsuk az ellenkezjt:
(2) Nem minden komplett Simpl rendszerre igaz: Nimpl2 s van I-E
s I-F vagyonosztlyozsa. Vagy mskpp: Van olyan komplett Simpl
melyre igaz: vagy (A) Nimpl<2 vagy (B) nincs I-E vagy (C) nincs I-F
vagyonosztlyozsa. Ekkor a (2) llts formlisan gy is rhat:
(3) SimplP(Simpl), ahol P(Simpl)=ABC, tovbb ahol az egzisztencilis kvantor (jelentse: van olyan), mg a diszjunkci
(mskpp:
alternci),
azaz
a
megenged
vagy
jele,
s
P(Simpl)=ABC az Simpl-re vonatkoz llts (P=prdiktum). [Pl.
AB logikai rtke: AB igaz, akkor s csak akkor, ha vagy A, vagy
B, vagy A is s B is igaz. Az ABC formulra az igazsg kritriuma knnyen kiterjeszthet, ha trjuk pl. gy: ABC=(AB)C].
Mivel A s B s C is egyenknt vagy igaz, vagy hamis lltst
jell (s ezt gy jellhetjk: 1=igaz; 0=hamis), ezrt ABC le3
hetsges igazsgrtkeinek szma: 2 =8. Azaz: az albbi, n. igazsgrtk-tblzatba foglalva A, B, C jelentseit s igazsgrtkeit, ekkor ABC lehetsges igazsgrtkeire kapjuk:

Eme kiss tfogalmazott lltsok kzl a 7. br formlisan

igaz, mde nyilvnvalan nellentmondst tartalmaz, ezrt rtelmetlen. A 8. pedig formlisan eleve hamis, tartalmilag viszont
pont a II./(1) ttelrszt igazolja. Ezrt ezekkel nem foglalkozunk.
Vizsgljuk teht az 1.-6. lltsokat.
Megllapthat ezekrl az: vagy I-E nincs, vagy I-F nincs, avagy
e kett kzl egyik sincs a komplett Simpl rendszerben. mde mindez
ellentmond a T21/C2 bizonytott ttelnek. A II./(2) lltssal ellentmondsra jutottunk, ezrt ellentte a II./(1) llts az igaz.

62
Megmutattuk teht, hogy a ttelnek mind az I. mind a II. rsze
igaz llts, kvetkezskpp a ttel igaz.
Q.e.d.
P.:
K.: T21/C2, T21/C3
27. Ttel: A bruttvagyon nvekedst s/vagy cskkenst jelent (0;M] idintervallumbeli gazdasgi esemnyek azonos fajta mrtkadatainak klnbsge (ha a cskkensek negatv eljelek,
akkor algebrai sszege) egyenl a bruttvagyon M idpontbeli statikus osztlyozsnak fsszegvel.

Az A5 axima szerint: A vagyonvltozs-osztlyban a (0,t] idintervallumban gazdasgi esemnyek kapcsn ltrejtt vagyonnvekedsek s cskkensek klnbsge (egyenlege) egyenl a t. idpontban
rtelmezett statikus vagyonosztlyhoz tartoz sszeggel legyen
az akr f- akr rszsszeg.
Mivel a felttel szerint t=M s a vagyonvltozs-osztly a bruttvagyonhoz tartoz vltozs-alaposztllyal azonos, ezrt, az A5
aximnak megfelelen, a (0;M] intervallumban trtnt bruttvagyon-vltozsok egyenlege egyenl a bruttvagyon M. idponthoz
tartoz statikus osztlyozsnak fsszegvel.
Q.e.d.
P.: 1./T28, 2./T5
K.: 1./A5.
28. Ttel: A bruttvagyon E=F0 formulval reprezentlt inkomplett vagyonosztlyozsi rendszere
(klasszikus mrlege) komplett tehet.

A T21/C3 ttel szerint a bruttvagyon

(1) E=F0
formulval reprezentlt vagyonosztlyozsi rendszere (klasszikus
mrlege) inkomplett, br zrt a gazdlkodspecifikus gazdasgi
esemnyekre nzve. Ezrt e rendszer komplett ttelhez, a vonatkoz defincinak megfelelen, azt kell csak megmutatni, hogy az
(1) formula kielgten informatvv tehet.
Definci szerint egy vagyonosztlyozsi rendszer akkor kielgten informatv, ha a gazdlkod adott idpontbeli anyagi helyzett, s legalbb bruttvagyonnak ezen idpontig tart idbeli
vltozst mutatja.
Az vilgos, hogy az E=F0 formulval reprezentlt vagyonosztlyozsi rendszer a statikus anyagi helyzetet a t=M idpontban mutatja. Ahhoz, hogy komplett is legyen, mg legalbb a bruttvagyon
idbeli vltozst is mutatnia kell a (0,M] idintervallumban.
Ehhez
vegyk
a
(0,M]
idintervallum
t.
idpontjaiban
(t=1,2,...,M)
bekvetkezett
sszes
k.
gazdasgi
esemny
(k=1,2,...) azonos tpus A13 szerinti vk(t) mrtkadatait (a cskkenseket negatv eljellel). A csak strukturl esemnyek mrtkadatt viszont nyilvn vagy ktszer kell venni ellenttes eljellel, vagy egyszer sem. Ugyanis a t. fsszeg ezekre nzve invarins (T19/C1). E vk(t) vagyonvltozsok algebrai sszegt, mint az

63
idaspektus alaposztly fsszegt jellje I. Ekkor I egyenl a
bruttvagyon t=M idpontbeli E0, illetve F0 fsszegvel a T27
szerint, azaz (2) I=E=F0.
Mivel ezek a vk(t) rtkadatok gazdasgi esemnyek adatai, amelyek a (0,M] idintervallumba es idpillanatokban kvetkeztek be,
ezrt e vk(t) sszegek, a (t-1;t] idszakokra (t=1,2,..,M) bontott
(0,M] idintervallum megfelel idosztlynak I(t) rszsszegt
vltoztat rtkek A5 szerint. Ekkor I(t) [t=1,2,..,M] egyenl a t.
idponthoz tartoz vk(t) rtkek algebrai sszegvel (A5), I pedig
M

egyenl az I(t)-k sszegvel A4 szerint. gy igaz

I(t)=I

t =1

ezrt ismt (2) I=E=F0, ami viszont mr nyilvn egy explicite Nszeres (N=3) komplett rendszer a T21 szerint.
De az egyes idosztlyok I(t) rszsszeghez (t=1,2,..,M) tartoz vk(t) sszegek besorolhatk, ha az i. eszkzfajta (i=1,2,...,n)
vltozst idzte el a gazdasgi esemny, akkor az i. eszkzosztly (eszkzfajta) ei(t) rszsszegt vltoztat sszegknt. Ekkor
ei(t) [i=1,2,...,n; t=1,2,..,M] egyenl a hozz tartoz vk(t) rtkek algebrai sszegvel szintn A5 szerint.
Tovbb az egyes idosztlyok I(t) rszsszeghez (t=1,2,..,M)
sszegek
besorolhatk,
ha
a
j.
forrsfajta
tartoz
vk(t)
(j=1,2,...,p) vltozst idzte el a gazdasgi esemny, akkor a
j. forrsosztly (forrsfajta) j(t) rszsszegt vltoztat szszegknt. Ekkor j(t) [j=1,2,...,p; t=1,2,..,M] egyenl a hozz
tartoz vk(t) rtkek algebrai sszegvel A5 szerint.
Most az ei(t)-k i s t szerinti, az j(t)-k j s t szerinti szszegzsvel
(A4,
A5
s
T27
szerint)
kapjuk
a
M

VBR(M)=

t =1

j =1

ei(t)= j(t)0

i =1
t =1

formult, ami viszont mr egy impli-

cite N-szeres (N=2) komplett rendszer a T21/C2 szerint.

Q.e.d.
Ezzel nem csak a ttel bizonytst adtuk meg, hanem a komplett
alakts eljrsi mdjt is (ami kapra jhet egy szemfles szoftverksztnek, feltve, hogy szleli ezt az informcit ).
P.:
K.: 1./A4, A5, T19/C1, T21, T21/C2, T21/C3, T27.
Az anyagi helyzet trvnye
M

29. Ttel: A VBR(M)=

t =1

i =1

J (t)= V (t)+A(t)0, (ahol VBR(M)= J (t)

i

t =1

i =1

t =1

A(t)0 s VS(t) 0; s

t=1,2,,M; i=1,2,,n) formula az anyagi helyzet trvnye. Jelentse: Az embernek, s minden

ms gazdlkodnak szletstl a hallig tart lte minden t. idpillanatban (1) vagy van bruttvagyona [VBR(t)>0], de akkor van adssga is [A(t)>0], (2) mely utbbi, j esetben, jelentsen kisebb, rossz esetben nem, st nagyobb, mint a bruttvagyona, (3) vagy nincs sem vagyona

64
[VBR(t)=0], sem adssga [A(t)=0] (ekkor nincstelen); (4) vagy ennl is rosszabb a helyzete: csak
adssga van [VBR(t)=0, A(t)>0] (ekkor a nincstelen ads). (5) s ms eset nem lehetsges. (6)
A gazdlkod anyagi helyzete, annak valamelyik tnyezje idben mindig vltozik, akr folytatja
gazdlkodst, akr magra hagyja a vagyont, ezrt (7) vagyona, mint anyagi helyzetnek egyik
f tnyezje n (n3), azaz legalbb id, eszkz s forrs aspektusbl vizsglhat s vizsgland.

Az anyagi helyzet trvnynek matematikai modelljt a kvetkez

formula adja:
M

VBR(M)=
t =1

i =1

t =1

t =1

Ji(t)= VS(t)+A(t)0 s VBR(M)=

Ji(t)

A(t)0, il-

i =1

letve VS(t) 0 (ahol t=1,2,...M; i=1,2,...,n).

A jellseket felhasznlva az (1)-(7) lltsok igazsgt kell
megmutatni.
(1)
Mrmost,
ha
a
gazdlkodnak
valamely
t.
idpontban
(t=1,2,..,M) van vagyona (azaz VBR(t)>0 T1 szerint), akkor van
adssga is (A7) s A(t)>0 T2 szerint. Az (1) llts teht igaz.
(2) Ha a gazdlkodnak van vagyona s gy adssga is (1) szerint, akkor e kett viszonyra igaz: VBR(t) A(t)>0 a T1, T2 s T3
szerint. A (2) llts teht igaz.
(3) De van olyan helyzet, hogy valamely gazdlkodnak egy t.
idpontban mg vagy mr sem vagyona, sem adssga nincs, azaz:
VBR(t)=0 s A(t)=0 A2 s A7 szerint. (Ekkor nincstelen.) Teht a
(3) llts is igaz.
(4) De lehet olyan t idpont is, amikor a gazdlkodnak nincs
bruttvagyona (azaz: VBR(t)=0 A2 s A7 szerint), mde adssga van
(azaz: A(t)>0 A7 s T2 szerint). ( a nincstelen ads.) Ekkor viszont sajtvagyona negatv [azaz: ha VBR(t)=VS(t)+A(t)=0 s A(t)>0
A2 s A7 szerint, akkor A(t)=-VS(t)>0 T5 szerint. Teht a (4) llts is igaz.
(5) s ms eset nem lehetsges (A7). Azaz az (5) llts is igaz.
(6) A gazdlkod anyagi helyzete s minden tnyezje idben mindig vltozik, akr folytatja gazdlkodst (T20/C1), akr magra
hagyja vagyont (T15/C) [teht (6) igaz], s
(7) vagyona, mint az anyagi helyzetnek egyik f tnyezje n
(n3), azaz legalbb id, eszkz s forrs aspektusbl vizsglhat
s vizsgland T16/C3 szerint. Teht (7) igaz.
(1)-(7) rszekbl mindsszesen folyik a ttel igazsga.
Q.e.d.
P.:
K.: A2, A7, T1, T2, T3, T5, T15/C, T16/C3, T20/C1.

65

2. Az ltalnos s a vagyonknyvvitel elmletnek alapelemei

2.1 Princpiumok
2.11 Vagyonknyvviteli defincik
2.111 Az ltalnos knyvvitel fogalmai

1. Esemny adatszerkezete alatt egy rendezett adat-n-est vagy a kvetkez n elem (n4) sorvektort rtek:

esemny _ iddpontjja

esemny _ neve _(lersa)

esemny _ mennyisgi _ adata

esemny _( pnz)rtk _ adata

...

...

...

e*

a1

a 2
a 3

a4
=
...

...
...

a k

= a (e)*

2. Bizonylatolt esemny az esemny megtrtntt igazol okirat (a

bizonylat62) adatsora vagy mskpp: adatvektora. Az ilyen adatvektor szerkezett mutatja a kvetkez formula:
*

a1

a 2
a 3

a4
=
a 5

...
...

a k

e
b

esemny _ idpontja

bizonylat _ azonostja

esemny _ neve _(lersa)

esemny
_
mennyisgi
_
adata

esemny _( pnz)rtk _ adata

...

...

= a(

)*

3.
Explicite kronologikus egy nyilvntarts (adatbzis), ha a ttelei (rekordjai) idadataik rvn sorbarendezettek, klnben
implicite kronologikus.
4.
Lekrdezs eredmnye az egy kimutats, amely adott nyilvntarts (adatbzis) adataibl valamely szempont szerint kszlt.
5.
Knyvvitel az n aspektus (n2) dinamikus vagy dinamikus s
statikus mrleget meghatroz esemnyek adatvektoraibl ll
(explicite vagy implicite) kronologikus nyilvntarts (adatbzis) s brmely lekrdezsnek eredmnye.

62

Megtrtnt jogi s gazdasgi rtelemben egyarnt.

66
6. Knyvviteli esemnynek nevezem a bizonylatolt valdi vagy nem
valdi esemny knyvvitelben feljegyzett adatvektort, mely kiegszlt az esemny koordintival. Az ilyen adatvektor szerkezett mutatja a kvetkez formula:

esemny _ iddpontjja

bizonylatnak _ azonostja

esemny _ neve _(lersa)

esemny _ koordinti

esemny _ mennyisgi _ adata

_(
)
esemny
pnz
rtke

...

a1

a 2
a3

a4
= = a (ke)*
a5

a 6
...

a k

7. Absztrakt esemnynek fogom nevezni azt az egyelem sorvektort,

(vagy mskpp: adat-1-est), amely a bizonylatolt esemny, vagy
a knyvviteli esemny minden ms adattpustl elvonatkoztatva
mindssze csak az a3 adattpust [esemny neve (lersa)] tartalmazza.
8. Szabvnyos esemnynek nevezem az olyan absztrakt esemnyt, amelyet, mint esemnynevet, a knyvvitelben a neki megfelel konkrt knyvviteli esemny szabatos megnevezsre [azok a3 adattpusa helyett] ktelez hasznlni. A szabvnyos esemnyeket az
absztrakt esemnyekbl tipizlssal kpezzk gy, hogy egyedei
formlisan is (azaz: az esemny neve vagy lersa szavait s
azok sorrendjt tekintve) s tartalmilag is (azaz: az esemny
neve vagy lersa jelentst tekintve) mind klnbznek egymstl s rtelmes (mskpp: relis) az esemnykoordinta-n-esk.
9. Hibs knyvviteli nyilvntarts az, amelyben egy vagy tbb
knyvviteli esemny egy vagy tbb, vagy minden adata nem egyezik
a valsggal.
10. Knyvviteli derivltnak nevezem a kvetkez (F) formulval
(F)
yi*=[y1,y2,...yk]i=oi*=(xi)=(ei)63
megadott
kt
(F1)
*

yi = (xi),
illetve
az
(F2)
yi = (ei)
fggvnyt,
ahol
i=1,2,...,n az ei szabvnyos esemnyek szma; k (1kN-1 s k,N
egszek) a lehetsges osztlyozsi aspektusok szma (idaspektus
nlkl, melyet az esemny kelte ad). E formulkban az
[y1,y2,...yk]i=oi* vektor mutatja az eiyi*=[y1,y2,...yk]i=oi*
egyrtelm hozzrendels alapjn az ei szabvnyos esemnyhez,
mint argumentumhoz tartoz yi*=[y1,y2,...yk]i esemnykoordintkat, mint kontrozsi sszefggst, vagy mskpp nevezve: az
osztlykoherencia k elem vektort. Tovbb: E az fggvny
rtelmezsi tartomnya [eiE (i=1,2,...,n)], azaz: a lehets63

A knyvviteli derivlt fogalmnak, funkcijnak s kpzsnek tovbbi rszletes kifejtse, pldkkal egytt, olvashat knyvem els rsze IV. fejezetnek 2.2 pontjban.

67
ges bemeneteinek (a lehetsges szabvnyos esemnyeknek) a halma
za, mg a fggvny I rtelmezsi tartomnya az ei szabvnyos
esemnyek iI sorszmainak halmaza; s fennll az i=xiei hozzrendels lehetsge. yi*=[y1,y2,...yk]i=oi* pedig (i=1,2,...,n)
az (F1) s (F2) fggvnyek azonos Y=O rtkkszlete (yi*Y,
oi*O) vagyis a lehetsges kontrozsi sszefggsek, vagy mskpp osztlykoherencik, azaz kimenetek halmaza.
11. Az absztrakt automata (jellje ) a valdi automata egy modellje. [Megjegyzsek: E modell lehet matematikai (algebrai),
vagy geometriai (cscsokbl s a cscsokat sszekt irnytott
lekbl felpl grf). Az absztrakt automata megadsa trtnhet
64
algebrai formulval, mdostott Cayley-fle
tblzattal s az
emltett irnytott (lekkel br) grffal.]
12. Mealy-fle absztrakt automatnak nevezzk az
(a1)
M=A,X,Y,,
szimblumokkal jellt rendszert mint rendezett 5-sbl ll matematikai (algebrai) modellt.
Ebben az A, X s Y szimblum legalbb egy elem, azaz nem res
halmazokat, a s szimblum az AX szorzathalmazon, azaz az
a,x (aA,xX) rendezett prok halmazn rtelmezett :AXA s
:AXY fggvnyeket jell, ahol:
A az M automata ltal felvehet llapotok halmaza, s aA ennek egy llapota;
X az M automata ltal rtelmezhet bemenjelek halmaza, s
xX egy bemenjel;
Y az M automata ltal kiadhat kimenjelek halmaza, s yY
egy az automata ltal kibocsthat kimenjel;
Az M automata mkdst a s fggvnyek adjk meg:
az automata llapotvltozsait a bemenjelek szerint meghatroz ktvltozs n. tmeneti fggvny, azaz az
(a2)
(a,x)A
mg kimenjeleit (ha az automatatpus bocst ilyent ki) az automata ktvltozs n. kimeneti fggvnye, azaz
(a,x)Y
(a3)
adja meg.
Megjegyzsek:
Egy ilyen M automata, A-vges, ha llapothalmaza vges, s vges, ha mindhrom halmaza vges.
Teljesen definilt az M automata, ha s fggvnyek minden
a,x (aA,xX) rendezett prra rtelmezve vannak, ellenkez
esetben parcilis automatrl beszlnk.

64

Cayley ejtsd: Kli.

68
Determinisztikus az automata, ha s egyrtk fggvnyek, egybknt nem determinisztikus.
M

Az ltalunk vizsglt automatk mind teljesen definilt s deM

terminisztikus automatk.
M
Ezen automatk mkdsrl feltesszk mg, hogy diszkrt
idsklban mkdnek, azaz csak meghatrozott, egymstl elklntett idpontokban kaphatnak bemenjelet s bocsthatnak ki kimenjelet65. Eszerint, ha az M automata valamely idpillanatban
az aA llapotban van, s ekkor kap egy xX bemenjelet, akkor a
(a,x)A llapotba kerl s egy (a,x)Y kimenjelet bocst ki
(feltve, hogy nem kimenjel nlkli automata).
M
Az automata eme mkdst az albbi a2. brn lthat smval szemlltethetjk:

Az a2. bra [a,b] vzszintes nyila az automata llapotvltozst mutatja az x bemenjel (fels fggleges nyl) hatsaknt
(az automata a-bl b llapotba kerl). Az als fggleges nyl
pedig a kimenjel kibocstst jelzi.
13. Azt a specilis absztrakt automatt, amelynl az A llapothalmaz egyetlen elem (jellje ezt: A=1) memria nlkli (llapotmemria nlkli) Mealy-fle automatnak nevezik (jellje: MA1).
Az MA1 automata egyetlen llapota az, hogy mkdik azaz bemenjelet fogad s azonnal kimenjelet kld.
Ennek tmeneti fggvnye teht:
(a4)
(a,x)=a,
azaz az automata llapota nem vltozik meg az x bemenjel hatsra, attl nem fgg.
Belthat, hogy az y kimenjel az MA1 automatknl, (a4) miatt, csak a bemenjeltl fgg, ezrt a kimeneti fggvnybl a
egyszeren el is hagyhat:
(a5)
(a,x)=(x)=y.
M
Az A1 (llapot)memria nlkli, Mealy-fle, vges absztrakt
automata teht a kvetkezkppen is definilhat:
(a6)
MA1=A,X,Y,,
ahol xX; yY s A=1.

65

Pek Istvn: Bevezets az automatk elmletbe I. 8. oldal.(Tanknyv Kiad, Budapest, 1977.) [34].

69
Az (a6) algebrai modellben viszont elnys az, hogy mg tovbb
egyszersthet. Elhagyhat belle minden, a kimeneti fggvny
M
kivtelvel, mert A1 voltakppen megfelel az ismert egyvltozs
y=(x) formulnak, melynek X az rtelmezsi tartomnya s Y az
rtkkszlete, azzal az apr eltrssel, hogy esetnkben az X s
Y halmaz is vges, azonos szmossg halmaz, kvetkezskppen a
fgg s fggetlen vltoz csak diszkrt rtket vehet fel. VaM
gyis A1 ekvivalens a kvetkez
(a7)
yi=(xi)
formulval, ahol i=1,2,...n s xiX; yiY.
Tovbb: esetnkben az MA1 modell fgg vltozja clszeren
legalbb kt elem vektorral66 rand majd fel, ezrt a modell
kicsit mdosul:
(a8)

yi=(xi),

ahol i=1,2,...n; s yi szm-n-est (a hagyomnyos knyvvitelben

szm-2-est), xi pedig szabvnyos esemny nevt vagy lerst tartalmazza voltakppen szvegvltoz.
M
Mindazonltal az A1 automatnk sszefoglal jellse:
(a8)
MA1=A,X,Y,=yi=(xi),
ahol xiX; yiY s yi egy szm-n-es (i=1,2,...n), valamint A=1.
14. Absztrakt kontroz (mskpp: esemnykoordinta-kijell) automatnak
nevezem
a
knyvviteli
derivlt
*

*
yi =[y1,y2,...yk]i =oi = (xi)= (ei) valamelyik [az yi = (xi)
vagy az yi*=(ei) (i=1,2,...,n)] fggvnyvel megadott n. memria (llapotmemria) nlkli, vges s diszkrt Mealy-fle67
absztrakt automatt, amely az ei esemnykoordintit brmely i-re
meghatroz valdi kontroz automata modellje.

2.112 A vagyonknyvvitel fogalmai68

66

E vektornak nincs geometriai rtelmezse!

A Mealy-fle absztrakt automatkrl bvebb informci olvashat mg knyvem els rsze IV. fejezetnek 3.2 pontjban is.
68
Az ltalnos s a specilis knyvvitelek fogalmai e ponton elklnlnek egymstl. A specilis knyvvitelek csoportosthatk aszerint, hogy a knyvels bizonylatokon alapul-e vagy sem, vagy aszerint, hogy az alaphalmaz elemeinek
mennyisge, avagy az elemek valamely pozitv egytthatj lineris transzformltjnak rtke nem lehet negatv,
avagy negatv rtket is felvehet. Ez utbbi knyvvitelosztlynak a bizonylatokon alapul knyvviteli alosztlyba
tartoz egyik specilis knyvvitele az e knyvben trgyalt vagyonknyvvitel is (erre van egy plda az 1. Fggelkben).
Valamint ide tartozik pldul a telefonszmok nyilvntartsa (knyvvitele ennek bizonylatai a szolgltatsi szerzdsek), a knyvtri klcsnzs knyvvitele (bizonylatai a klcsnzsi jegyek), stb. A nem bizonylaton alapul cskkenst
nem tartalmaz knyvvitelek alosztlyba tartozik pldul a specilis knyvvitelek kzl az iskolai tuds knyvvitele
(ennek kronologikus adatbzisa az osztlynapl s tudsmrlegre vezet ld. 2. fggelk), vagy pldul a havi telefonhvsok kltsgnek knyvvitele (ez pl. id-hv szmok-hvott szmok-mobil-vonalas-aspektus mrlegre vezet ld.
3. fggelk), vagy a futballban a piros-srga lapok knyvvitele .
67

70
1.
Nem valdi gazdasgi esemny az anyagi helyzet pusztn knyvvitel-technikai okokbl kimutatott, ltszlagos vltozsa.
2.
A vagyonknyvvitel az a specilis knyvvitel, amely n aspektus (n2) dinamikus vagy dinamikus s statikus vagyonmrleget hatroz meg.
3. A valsg aberrcija alatt a gazdlkod leltr szerinti, valamint a leltrozott idszakban bekvetkezett gazdasgi esemnyek
szerinti, azaz: eredeti anyagi helyzete fbb tnyezinek brmely okbl bekvetkez eltrst rtem.
4.
Absztrakt knyvelautomatnak nevezem azt a tbbfle, memria
nlkli vges s diszkrt Mealy-fle absztrakt automatbl szszetett absztrakt automatt, mely a j-ik knyvviteli esemny
(j=1,2,...,m) adatait ad vals knyvelautomata egy lehetsges
modellje, a kvetkez alakban:
[yj*,zj*,cj*,ei]j=[j(ei), gj(ei),cj*,ei]j
ahol:
yj*=[y1,y2,...yk]j=j(ei) a knyvviteli derivltat az ei helyen (az ei szabvnyos gazdasgi esemnynl) ad absztrakt
kontroz automata,
zj*=[z1,z2,...zo]j=gj(ei) az egyb, ei-tl fgg metaadatok
vektort szolgltat absztrakt automata. [Ebbl lehet tbb
is! Pldul gj1FA(ei) lehet mondjuk az absztrakt FA-automata;
s gj2q(ei) lehet a mennyisgi egysg absztrakt automatja,
stb.],
cj*=[c1,c2,...,cr]j az explicite adott konkrt bizonylatolt
esemnyadatok (mint pldul idpont-, bizonylatazonost,
pnzsszeg-, mennyisgadat, stb.).
A futindexek jelentse, rtkei:
i=1,2,...,n, a szabvnyos gazdasgi esemny, mg j=1,2,...,m
az idszak konkrt bizonylatolt gazdasgi illetve knyvviteli
esemnyeinek sorszma,
k=1,2,...,l
a
kontrozsi
sszefggs,
avagy
az
osztlykoherencia elemeinek id nlkli vagyonaspektusokkal
egyez,
o=1,2,...,p a zj* sorvektor elemeinek,
r=1,2,...,u pedig az cj* konkrt bizonylatadat-sorvektor elemeinek a szma.
5. Absztrakt (forgalmi s egyenlegadat) lekrdez automatnak nevezem azt a kt fggetlen bemenet s egy kimenet, mdostott
Mealy-fle inicilis automatt (jellje K), mely az E vagy F
osztlyozs szerinti S={s} azonostszm vagyonfajta (hagyomnyosan az s fknyvi szmla) forgalmi s egyenlegadatait az R
knyvviteli adatbzisbl lekrdez vals automatt modellezi, s
melyet az albbi a3. brn lthat sma vzlatosan szemlltet:

71

Ezen lekrdez automatt szimbolizlja a

K=A,a0,S,R,Y,,
rendezett 7-es, mint algebrai modell, ahol:
K
A az automata llapothalmaza, mely az ajA llapotvektorokbl ll, ahol j=0,1,2,...m;
a0A llapotvektor, az K kezd llapotvektora;
K
S={s} az 1. szm bemenjel-halmaza, mely az R adatbzison
lekrdezend s vagyonfajta (hagyomnyosan s knyvviteli szmla) azonostjt (pl. szmlaszmt), az s bemenjelet tartalmaz egyelem halmaz;
R az K 2. szm bemenjel-halmaza, mely az rj*=rj*(cj*,ei)R
(j=1,2,...m; i=1,2,...n) sorvektorokbl, mint bemen szavakbl ll, s rj* nem ms mint az R knyvviteli adatbzis knyvviteli esemnyei kzl a j-iket cj* s ei szerint (v. 4. def.)
ler adatrekord;
Y az K kimenjel-halmaza, m elem s yj*Y kimen sorvektorokbl ll, ahol j=1,2,...m;
K
(aj,rj*)A az ktvltozs tmeneti fggvnye, mely azt adja
meg, hogy, ha az K automata az aj llapotban kap egy rj* bemen szt, akkor melyik lesz a soron kvetkez llapota;
(aj,rj*,s)=yj*Y az K hromvltozs kimeneti fggvnye, mely
azt adja meg, hogy, ha az K automata az aj llapotban kap egy
rj* bemen szt s egy s bemen jelet, akkor milyen kimen jelet ad ki.
K
Az lekrdez automata tovbbi jellemzi:

Az a0A az automata kezd llapotvektora, s rtke mindig a

nullvektor (a0=0), melybe K azonnal visszatr, mihelyt az automata az m-ik llapotn tljutott. Ezt az automata tmeneti
fggvnye biztostja.
Az aj=[aj1,aj2,aj3]*A llapotvektor egy szm-3-as. Elemei: aj1
rtke a tartozik adatok j-ig kumullt sszege (aj1=T); aj2 rtke
a kvetel adatok j-ig kumullt sszege (aj2=K); aj3 rtke a j-ig
szmtott egyenleg (aj3=E=T+K; ahol T0 s K0).
Az R knyvviteli adatbzis az rj*=rj*(aj*,ei)R knyvviteli
adatrekordok halmaza. Egy rekord elemszma: v=(l+p+u)+1.

72
Az yj* sorvektor, mint kimen sz, pedig nem ms mint az R
knyvviteli adatbzis gazdasgi esemnyenknti lekrdezsvel
(szrsvel) nyert j. adatok yj* kimen sorvektora. Legyen ez
most 9 elem. Elemei yj*=(yj1,yj2,yj3,yj4,yj5,yj6,yj7,yj8,yj9)*, s
rendre az s azonostj vagyonfajta (hagyomnyos knyvvitelben
1.) a vagyonfajta
az s szmla) kvetkez adatait tartalmazza:
(szmla) s azonost adata; 2.) esemny dtuma (D), 3.) esemny
bizonylatszma (B) 4.) esemny neve (N), 5.) tartozik rovaton
esetleg lv sszege: T0, 6.) tartozik forgalom sszesen (ST)
7.) kvetel rovaton esetleg lv sszege: K0, 8.) kvetel forgalom sszesen (SK) 9.) az egyenleg sszege: E=T+K. (Megjegyzend,
hogy egy yj* sorvektorban nyilvn, vagy csak a tartozik, vagy
csak a kvetel rovaton lehet nulltl klnbz szm!)
Az K
alakja:

lekrdez

automata

(a17)

(a0,s)=a1

(a17)

(aj,rj*) =

ktvltozs

a
j+1 ha 1 j < m
a 0

ha

j= m

tmeneti

fggvnynek

(j=1,2,...m).

K hromvltozs kimeneti fggvnye pedig:

(aj-1,rj-1*,s)=yj*.

(a18)

Az automata voltakppen egy n. szekvencilis gp (ld. a mkdst szemlltet irnytott grfot: a4. bra), amely, ha az s
bemenjelet megkapja, azonnal kimozdul az a0A kezdllapotbl,
s felveszi az a1 llapotot, majd az r1*,r2*,...,rj*,...,rm* bemenjelek (rj*R) hatsra, K minden kvetkez idpillanatban sorban
felveszi az
a2,...aj,...am-1A
kzbls llapotokat, s rendre kibocstja az yj*Y sorvektorokbl ll kimenjeleket (j=1,2,...m-1), vgl az am llapot felvtele utn, az rm* bemenjel hatsra kibocstja az ym*Y utols
kimenjelet, majd az a0A kezdllapotba tr vissza.
A kimeneti fggvny konkrt alakjt az albbiakban hatrozhatjuk meg:
Tegyk fel, hogy az rj* knyvviteli adatrekord 6 elem. Elemei:
rj*=[rj1=D,rj2=B,rj3=N,rj4,rj5,rj6], s rendre az
1. esemny idpontja (D), 2. az esemny bizonylatszma (B), 3. az esemny neve
(N), 4. tartozik vagyonfajta (szmla) sorszma (rj4), 5. kvetel
vagyonfajta (szmla) sorszma (rj5), 6. vagyonvltozs pnzsszege (rj6) adatot tartalmazzk.
Legyen tovbb Its egy indiktorfggvny, melynek rtke 1, ha
s azonos az xj4-beli tartozik vagyonfajta (szmla) szmval,
K

73
egybknt pedig 0; s legyen Iks egy msik indiktorfggvny,
melynek rtke -1, ha s azonos az xj5-beli kvetel vagyonfajta
(szmla) szmval, egybknt meg 0.
Legyen mg az s vagyonfajta (szmla) tartozik-sszege T=Itsxj6,
kvetel-sszege pedig K=Iksxj6, (j=1,2,...m).
A tartozik forgalom summja legyen:
ST=aj1=aj-1,1+T
(j=1,2,...m).
A kvetel forgalom summja legyen:
(j=1,2,...m).
SK=aj2=aj-1,2+K
Elbbiek felhasznlsval az aj3 (j=1,2,...m) llapotvltoz,
mint egyenleg-memria rtke legyen:
E=aj3=aj-1,3+(T+K)
(j=1,2,...m).
Az yj* kimenjelek rtkei
(a22)

yj*=[s,D,B,N,T,ST,K,SK,E]

(j=1,2,...m).

Az K inicilis, mdostott Mealy-fle automata mkdsi smjt

szemlltet irnytott grf (a4. bra):

6. sszest kimutatst (hagyomnyosan fknyvi kivonatot) lekrdeFK

z absztrakt automatnak nevezem a
jel s a kvetkezk szerint mdostott inicilis Mealy-fle absztrakt automatt: Az FK
absztrakt automata a lekrdez folyamat kzben kimenjel nlkli
n. mdostott Rabin-Scott-fle absztrakt automata. Ez azon vals automata modellje, amely csak az F={am} vgllapotban ad kimenjelet, egybknt nem, s amelynek kimenjele az s1,s2,...,sp
azonostszm, p darab, E ill. F osztlyozs sszes vagyonelem-osztly (hagyomnyos knyvvitelben fknyvi szmla) szszest (mskpp: fknyvi) kivonata. Az FK automata formulja teht:
FK=A,a0,S,R,Y,s,,,F
rendezett 9-es, ahol
- A az automata llapothalmaza, v. a 4. s 5. defincival,
- a0 kezd llapotvektor, v. a 4. s 5. defincival,
- S={s1,s2,...,sk,... sp} p darab, az E s/vagy F osztlyozs
sszes vagyonelem osztly(szmla) azonostszmainak 1. sz.
bemenjel halmaza,

74
- R knyvviteli adatbzis, mint 2. sz. bemenjel halmaz, v.
az 5. defincival;
- Y={(am,rm*)=y*} az FK egyetlen kimenjel-vektorbl ll halmaza,
- s(a0,sk+1)=sk (k=0,1,2,...,p-1) a soron kvetkez s bemenjel rtkt megad bemeneti fggvny, mely valahnyszor elzFK
leg az
automata az a0 llapotban volt vagy kerlt, sk rtkt meghatrozza,
- v. az 5. defincival,
- ld. az 5. defincit.
FK
vgllapotnak egyelem halmaza.
- F={am} az
gy
az

automata
az
E
s/vagy
F
osztlyozs
S={s1,s2,...,sk,...,sp} azonostszm vagyonelemek (hagyomnyos knyvvitelben szmlk) fknyvi kivonatnak adatsorait
adja meg az R knyvviteli adatbzison.
Az FK mkdst az a5. bra szerinti sma mutatja:
FK

2.12 A vagyonknyvvitel aximi

2.121 A bizonylati elv

1.Minden gazdasgi esemnyt bizonylat adatai alapjn knyvelnk

(A1).
P.: 2./T1.
2.122 A valdisg-valtlansg dilemma eldnthetetlensgnek ltalnos knyvviteli alapelvei

2.Az ellenrizetlen knyvvitel hibs voltnak valsznsge (p)

egy adott idpontban mindig nagyobb, mint nulla s kisebb mint
1 (0<p<1) (A2).
P.: 2./T3.
3.A knyvviteli esemny brmely adata vagy megegyezik, vagy nem
egyezik meg a knyvviteli esemnynek megfelel esemny hozzill
adatval, azaz: a knyvviteli esemny adata vagy vals, vagy nem
akr hibtlan a neki megfelel bizonylatolt esemny odaill
adata, akr nem, akr hibtlan annak knyvelse, akr nem. E

75
problma a megfelel ellenrzs, vagyis az esemny vals adatval trtn egybevets nlkl eldnthetetlen (A3).
P.: 2./T4.
4.A leltr(bizonylat) brmely adata vagy megegyezik, vagy nem
egyezik meg a neki megfelel val esemny hozzill adatval,
azaz: vagy vals, vagy nem akr hibtlan a leltr felvtele,
akr nem e problma megfelel ellenrzs, vagyis a val esemny adatval trtn egybevets nlkl eldnthetetlen (A4).
P.: 2./T4.
2.123 Az inadekvt ellenrautomatk elve

5.nmagban az E=F s/vagy a t=k formula alapjn a vagyonknyvvitel hibtlan voltt sem bizonytani, sem cfolni nem lehet
(A5).
P.: 2./T4.
2.124 Az absztrakt esemnyek gazdlkodspecifikussgnak elve

6. Minden gazdlkodhoz egyrtelmen hozztartozik egy, az anyagi

helyzete lehetsges vltozsainak meghatrozsra alkalmas s
pronknt klnbz absztrakt gazdasgi esemnyekbl ll vges
halmaz (A6).
P.: 2./T5.

2.2 Ttelek s bizonytsok

Ekvivalencia s izomorfia
1. Ttel: A gazdasgi s a neki megfelel knyvviteli esemny adatvektora, a gazdlkod anyagi
helyzetnek vltozst jellemz adatai tekintetben ekvivalens (2./T1).

Jellje gi az i. gazdasgi esemny adatvektort (i=1,2,..,n). De

ezeket csak bizonylatok alapjn knyveljk (2./A1), ezrt jellje
bi az i. bizonylatolt gazdasgi esemny, ki pedig az i. knyvviteli
esemny adatvektort (ld. a defincikat). A bi vektor az adatok
tartalmt tekintve csak a "bizonylatazonost" a2(bi) adatban
tr el a gi vektortl (ld. a vonatkoz defincikat s albb az e1.
brt). A bizonylatazonost adatra viszont az anyagi helyzet vltozsnak jellemzse tekintetben nincs szksg, ezrt ettl az
adattl gi s bi tartalmi sszehasonltsakor elvonatkoztathatunk
mintha nem is lenne. Kvetkezskppen az anyagi helyzet vltozsnak jellemzse tekintetben igaz, hogy gibi, azaz e kett vektor

ezen aspektusbl ekvivalens ( az ekvivalencia jele).

Viszont ki csak az "esemnykoordintk" (a4) adatban tr el gitl s bi-tl. Ez az adat azonban, gi s bi tbbi adatval egybevetve, nyilvn nem ms, mint bi s ki a3 adatnak, illetve gi a2
adatnak, az n. "esemny neve (lersa)" verblisan megadott

76
adatnak a formalizlt vltozata, azaz az "esemnykoordintk"
adat, definci szerint. Azt is megllapthatjuk, hogy mind a verblis a2(gi), a3(bi) s a3(ki), mind a formalizlt a4(ki) a megvltoz vgs vagyonosztlyokat s vltozsuk jellegt (nvekeds
vagy cskkens vagy struktravlts) jelli meg. Kvetkezskpp
ezen adatok tartalmilag ekvivalensek (1./A14). [Az a3(ki) adat tulajdonkppen csak az esemny ellenrzse s verblis megjells
"megnevezse" cljbl van ki-ben is.] Ugyanakkor az a2(ki) "bizonylatazonost" adattl, a mr emltett ok miatt, itt is elvonatkoztathatunk mintha nem is lenne.
Teht az adatszerkezetek tartalmi sszehasonltsval kapjuk:
Adat tartalma

gi

bi

bi

ki

[idpont]

a1(gi)a1(bi)

a1(bi)a1(ki),

[esemnynv]

a2(gi)a3(bi)

a3(bi)a3(ki)a4(ki),

[mennyisg]
[pnzrtk]

a3(gi)a5(bi)
a4(gi)a6(bi)

s
s

a4(bi)a5(ki),
a5(bi)a6(ki),

e1. bra
Vagyis: az anyagi helyzetet befolysol adattartalom alapjn
fennll: gibi s biki. De ekkor igaz: giki, mert az ekvivalencia
tranzitv.
Q.e.d.
P.: 2./T6.
K.: 1./A14, 2./A1.
2. Ttel: A vagyon knyvvitelben a gazdasgi esemnyeknek s a gazdasgi esemnyek kapcsn ltrejtt vagyonnak s adssgnak, illetve ezek osztlyozsi rendszernek a kzvetett kpe
jelenik meg knyvviteli esemnyek formjban, illetve knyvviteli esemnyek ltal (2./T2).

Legyen E a vagyon s az adssg fsszegt vltoztat s ezek vagyonosztlyozsi rendszert felpt (1./T20/C7) eiE (i=1,2,...,m)
gazdasgi esemnyek adott idszakban mindig vges s nem res
halmaza. Jelljn tovbb bi egy bizonylatolt gazdasgi esemnyt,
s legyen B a bizonylatolt gazdasgi esemnyek szintn vges s
nem res halmaza, ahol biB. Jellje mg K a knyvviteli nyilvntartsban szerepl kiK knyvviteli esemnyek vges, nem res halmazt.
Most rendeljk hozz adott szably szerint a gazdasgi esemnyeket a knyvviteli esemnyekhez, de a 2./A1 axima szerint a
gazdasgi esemny adatait is tartalmaz bizonylat illetve a bizonylatolt esemny kzbeiktatsval. E hozzrendels (lekpezs)
teht kzvetett lesz:
1.) Az els trgyelem: az ei gazdasgi esemny.
A lekpezsi elrs (hozzrendelsi szably) az, hogy: a bi bizonylatolt gazdasgi esemnyek adatai a bizonylatazonostt rt-

77
het okbl nem szmtva 2./T1 szerint azonosak kell legyenek ei
tartalmilag megfelel adataival (i=1,2,...m).
2.) Az 1. szm kpelem: bi, azaz a bizonylatolt gazdasgi esemny.
E lekpezs ei(ei)=bi a jel szerint is klcsnsen egyrtelm, hiszen minden ei gazdasgi esemnyhez egy s csak egy bi bizonylatolt gazdasgi esemny tartozik (ezt biztostja 2./T1), s ez
fordtva is gy van (i=1,2,...m). A bi kpelem egyben a 2. trgyelem az adataival egytt.
A lekpezsi utasts:
ki knyvvitelben rgztett gazdasgi
esemny adatai tartalmilag azonosak kell legyenek bi adataival,
2./T1 szerint.
3.) A 2. kpelem: a ki knyvviteli esemny. A lekpezs:
bi(bi)=ki (i=1,2,...m) teht szintn klcsnsen egyrtelm.
A teljes sszetett vagy kzvetett lekpezsi lnc szimblumokkal
jellve a kvetkez:
ei[(ei)]=ki (i=1,2,...m).
Teht minden egyes ki, egy (ei)=bi-n t, kzvetett kpe egy einek. Tovbb, mivel eiki az anyagi helyzetet meghatroz adatok
tekintetben (2./T1 szerint), ezrt a kiK knyvviteli esemnyek
(i=1,2,...m) a knyvviteli nyilvntartsban ugyangy ptik fel,
illetve vltoztatjk meg a vagyon, az adssg s ezek osztlyozsi
rendszernek kpt, amint azt eredmnyezik a valsgban az eiE
gazdasgi esemnyek (1./T20/C7). Ezrt a ttel igaz.
Q.e.d.
P.: 2./T2/C1, C2.
K.: 1./T20/C7, 2./A1, T1.
Corollrium 1: A knyvviteli nyilvntarts, mint az anyagi helyzet tnyezinek s vltozsainak kpe
s e lekpezs trgya jellegt tekintve szksgszeren ekvivalens (2./T2/C1).

Q.e.d.
P.:
K.: 2./T2.
Corollrium 2: A vagyonelmlet ttelei (s trvnyei) azonos alakban s tartalommal rvnyesek a
knyvvitelben is (fordtva ez ltalban nem igaz), mert a vagyonelmletben adott rendszer s a knyvviteli rendszer izomorf (2./T2/C2).

Q.e.d.
P.:
K.: 2./T2
Az ellenrizetlen knyvvitel s leltr ltal involvlt valsg-valtlansg dilemma s a ngyszgellenrzs trvnye
3. Ttel: Az ellenrizetlen vagyonknyvviteli nyilvntarts adatait a bekvetkezett gazdasgi esemnyek valsgbeli adataival egy adott t idpontban nem tekinthetjk 100%-ban megegyeznek.

Mskppen fogalmazva:

78
Az ellenrizetlen vagyonknyvvitel hibtlan voltnak p valsznsge egy adott t idpontban mindig nagyobb, mint nulla, mde kisebb mint 1 (0<p<1).
Azt az esemnyt, hogy az ellenrizetlen vagyonknyvviteli nyilvntarts egy adott t idpontban hibs, jelljk EH-val, azt pedig,
hogy hibtlan ENH-val. E kt esemny egyttes bekvetkezst jellje H. Ekkor rjuk, hogy: EHENH=H, azaz H jelenti az ellenrizetlen
vagyonknyvviteli nyilvntarts hibs vagy hibtlan volta tekintetben bekvetkezhet esemnyek teljes halmazt, vagy mskpp: a
teljes esemnyrendszert. Az EH s ENH esemnyek pronknt egymst
kizrjk [EHENH= ], azaz egyszerre nem kvetkezhetnek be, s gy
EH s ENH kzl valamelyik, de csakis az egyik biztosan bekvetkezik. Tovbb H komplementert jellje: H melyre rvnyes:
H = E H E NH = .
Ennek szemlletes jelentse az, hogy EH s ENH esemnyek egyike sem
kvetkezik be egyszerre, s ez nyilvn maga a lehetetlen esemny
(ezt thzott nullval jelljk).
A valsznsgszmts II. aximja szerint H (azaz a biztos)
esemny bekvetkeztnek valsznsge 1, jellje ezt: P(H)=1. Hisz
pl. az az esemny biztosan bekvetkezik, hogy az ellenrizetlen
knyvviteli nyilvntarts az adott t idpontban vagy hibs lesz
vagy hibtlan.
Az elbbi valsznsg-szmtsi axima kvetkezmnye az, hogy:
annak valsznsge, hogy H egyltaln nem kvetkezik be, azaz H
kvetkezik be, nulla, mert pl. az, hogy az ellenrizetlen knyvvitel sem nem lesz hibs, sem nem lesz hibtlan, nyilvn lehetetlen
esemny, gy valsznsge P( H )=0.
A vagyonknyvvitel elzekben meghatrozott egy adott t idpontban hibs voltnak valsznsge mrtkt jellje P(EH)=p,
hibtlan voltt pedig P(ENH)=p.
E jellseket alkalmazva, lltom, hogy: 0<p<1.
Mrmost, rvnyes a 2./A2 knyvviteli axima (az ellenrizetlen
vagyonknyvvitel vlelmezend pontatlansgnak elve), amely szerint: Az ellenrizetlen vagyonknyvvitel hibs voltnak valsznsge (p) egy adott t idpontban mindig nagyobb, mint nulla s
kisebb, mint 1 (0<p<1).
A vagyonknyvvitel hibs voltnak kt lehetsges kimenetele,
egymst kizr [EHENH= ] s teljes esemnyrendszert alkot
[EHENH=H], ezrt az I. II. s III. valsznsgi aximk69 szerint
fennll:
(a)
0<P(EHENH)=P(EH)+P(ENH)=P(H)=1.
s P(EH)=p valamint P(ENH)=p egyenlsgekbl p s p (a)-ba val
behelyettestsvel addik:
(b)
0<p+p=1.
69

Ezek, mint explicite megnevezett valsznsgelmleti levezetsi szablyok szerepelnek itt.

79
De a p+p=1 egyenlsgbl a
(c)
p=1-p egyenlsget kaphatjuk.
Viszont 2./A2 szerint 1>p>0, gy felhasznlva, hogy p=1-p, behelyettestssel kapjuk a
(d) 1>1-p>0
egyenltlensgrendszert. Eme (d) alakbl trendezssel kaphat:
70
mert 1 egyenl a hibtlansg
0<p<1, ami a ttelbeli llts,
100%-val.
Q.e.d.
P.:
K.: 2./A2.
4. Ttel: A nem ellenrztt (azaz a megfelel gazdasgi esemnyek bizonylataival egybe nem vetett) leltr nem tmasztja al (azaz nem bizonytja) a nem ellenrztt knyvvitel71 s annak adataival kszlt mrleg valdisgt (2./T4).

A ttel bizonytshoz lltsuk annak ellenkezjt:

(T4).: A nem ellenrztt (azaz a megfelel gazdasgi esemnyek
bizonylataival egybe nem vetett) leltr altmasztja (azaz bizonytja) a nem ellenrztt knyvvitel s annak adataival kszlt
mrleg valdisgt.
1) Tegyk fel, hogy egy ptsi vllalkoz knyvviteli nyilvntartsban s az annak alapjn sszelltott mrlegben szerepel,
sok egyb mellett, forgeszkzknt 10 darab talicska 10x pnzrtkben. Viszont a leltrozskor felleltek 11 darab talicskt 11x
pnzrtkben. E leltr adatait, a felttel szerint, alapbizonylatok adataival nem vetettk egybe, nem ellenriztk, de a knyvvitelt sem. Vagyis konkrtan pl. a talicskabeszerzs bizonylatait
s a leltr, illetve a knyvvitel megfelel adatait nem hasonltottk ssze.
Felmerl a krds: Melyik adat vals biztosan? A knyvels s az
annak alapjn kszlt mrleg, avagy a leltr megfelel adata?
Mrmost, hogy valtlan-e vagy sem a knyvels/mrleg azt az E=F
s/vagy a t=k formula alapjn nem lehet eldnteni, mert azok ellenrzsre nem alkalmasak inadekvtak (2./A5).
De lehetnek valtlanok a knyvels, illetve a mrleg adatai, mert
pl. eltveszthettk a darabszmot a knyvelskor, vagy eleve tves
lehetett az egybknt helyesen knyvelt szmln megjellt mennyisgi adat s pnzrtk, pl. az tvtelt igazol szlltlevlhez
kpest de ezt nem vettk szre, mert nem ellenriztk. Hogy a
knyvels/mrleg adatai valtlanok-e vagy nem, az ellenrzs nlkl eldnthetetlen (2./A3).
De lehet, hogy a knyvels s a mrleg vonatkoz adata helytll,
mde valtlan a leltr megfelel adata. Azrt, mert mondjuk, a
70

Termszetesen (d)-bl, az algebrai egyenltlensgek explicit trendezsi szablyait levezetsi szablyknt alkalmazva is clba jutunk. Minden oldalhoz -1 hozzadsval: 1-1>1-p-1>0-1 a 0>-p>-1 egyenltlensgeket kapjuk. Ezeket
megszorozva (-1)-el az egyenltlensgek irnya megfordul s a negatv eljelek pozitvra vltanak, azaz: gy is a kvnt
eredmnyt kapjuk: 0<p<1.
71
Az nyilvnval, hogy itt a knyvviteli adatok valsggal egyezsge a bizonylatok alapjn sem igazolt, klnben
okafogyott lenne a leltr ltali altmasztsa, igazolsa.

80
leltroz, rosszul adta ssze a fellelt talicskk szmt s emiatt rt 11-et a leltrvre 10 helyett s ezt szorozta az x pnzrtkkel. Vagy: mer figyelmetlensgbl, elrta a szmot a leltrven 10-rl 11-re. De az is lehet, hogy ha nem lttk el a talicskkat megklnbztet leltri cmkkkel a cg terletn a
kertst javtgat, amgy a leltrozskor mr levonult kmves
ottfelejtett talicskjt is a gazdlkod vagyontrgynak vlte a
leltroz, s ezrt rt 10 talicska helyett 11-et. Teht: nmagban sem bizonytani, sem cfolni nem lehet a leltr adatainak valdisgt azaz ez a problma is, ellenrzs nlkl, eldnthetetlen (2./A4). E tnyek viszont mr ellentmondanak T4-nek, teht
csak T4 lehet az igaz.
2) Ugyanezek az rvek hozhatk fel, akkor is, ha mind a knyvels, a mrleggel egytt, mind a leltr 10 talicskt s 10x pnzrtket tartalmaz, de sem a knyvels, sem a leltr nem ellenrztt,
vagyis alapbizonylattal nem altmasztott. Csak most azt nem tudni, hogy valban fennll-e az egyezsg. Voltakpp ugyanolyan
okokbl, mint az 1) esetben. Azaz: sem bizonytani, sem cfolni
nem lehet az egyezsget e problma, ellenrzs nlkl, eldnthetetlen (2./A3, 2./A4). Ez a tny szintn ellentmond T4-nek, teht 2./T4 lehet csak az igaz.
Azaz: akr eltr 1) eset , akr egyezik 2) eset a nem ellenrztt knyvels/mrleg s a nem ellenrztt leltr megfelel
adata, a nem ellenrztt leltr sem nem bizonytja, sem nem cfolja az eltrst vagy az egyezst.
Q.e.d.
P.: 2./T4/C1, C2.
K.: 2./A3, A4, A5.
Corollrium 1: A nem ellenrztt (azaz a megfelel gazdasgi esemnyek bizonylatval s az ellenrztt leltr megfelel adatval egybe nem vetett) knyvviteli esemnyek (knyvelsi ttelek) nem tmasztjk al (azaz nem bizonytjk) a knyvviteli nyilvntarts s az annak adataival kszlt mrleg
valdisgt (2./T4/C1).

P.:
K.: 2./A4.
Corollrium 2: Egymagban, sem a leltr (VL), sem a leltrral rintett idszakban knyvelt bizonylat(ok) (VB) adatai, de mg e kett egytt sem alapozza meg az rintett vagyonknyvvitel (VK) s vagyonmrleg valdisgt, hanem csak a VE=VB s VB=VK s VK=VL s VE=VL egyezsg egyszerre
ahol VE a gazdasgi esemny mutatta valsg. Ez a knyvviteli ngyszgellenrzs trvnye
(2./T4/C2).

P.:
K.: 2./A4.
Szabvnyosts s automatizls
5. Ttel: Minden gazdlkodhoz egyrtelmen hozzrendelhetnk egy a tevkenysgnek megfelel szabvnyos gazdasgi esemnyekbl ll vges halmazt (2./T5).

Jelljn G valamely gazdlkodt s jellje a "" szimblum a

hozztartozst (hozzrendelst), Ea azon absztrakt gazdasgi esem-

81
nyek halmazt, mely a G gazdlkodsra jellemz knyvviteli esemnyek absztrakcijval keletkezett eaEa absztrakt gazdasgi esemnyekbl ll. Jellje tovbb eszEsz a szabvnyos gazdasgi esemnyeket s Esz ezek vges halmazt. E szimblumokkal felrva a ttelt, azt kell megmutatni, hogy fennll: (1) GEsz.
Mrmost a 2./A6 axima szerint: Minden gazdlkodhoz egyrtelmen
hozztartozik egy, az anyagi helyzete lehetsges vltozsainak
meghatrozsra alkalmas s pronknt klnbz Ea absztrakt gazdasgi esemnyekbl ll vges halmaz. De, ha minden gazdlkodhoz,
akkor G-hez is egyrtelmen hozztartozik (hozzrendelhet) a r
jellemz Ea, azaz igaz: (2) GEa.
Ugyanakkor a vonatkoz definci szerint: Szabvnyos gazdasgi
esemnyeknek nevezzk a gazdlkod knyvvitelben konkrt knyvviteli esemnyek szabatos megnevezsre [a3 adattpusknt] ktelezen hasznland olyan esemnyneveket, melyeket az absztrakt esemnyekbl tipizlssal kpznk, s amelyeknek egyedei formlisan
(azaz: az esemny neve vagy lersa szavait s azok sorrendjt tekintve) s tartalmilag (azaz: az esemny neve vagy lersa jelentst tekintve) mind klnbznek egymstl, s rtelmes (mskpp:
relis) az esemnykoordinta-n-esk. De e definci szerint igaz:
esz=eaEa, ezrt fennll: EszEa. De akkor igaz: GEsz is.
Q.e.d.
P.: 2./T5/C1, C2.
K.: 2./A5.
Corollrium 1: Az absztrakt gazdasgi esemnyek n szma s a szabvnyos gazdasgi esemnyek k
szma viszonyra ll: 1
k
n (n=1,2,...) [2./T5/C1].

P.: 2./T6, 2./T7.

K.: 2./T5.
Corollrium 2: A szabvnyos gazdasgi esemnyek is jellemzek a gazdlkod tevkenysgre, azaz:
gazdlkodspecifikusak [2./T5/C2].

P.: 2./T8/C2.
K.: 2./T5.
6. Ttel: A (0;t] idintervallumban (t=1,2,,M) szabvnyos gazdasgi esemnyekkel megnevezett konkrt knyvviteli esemnyek kapcsn bekvetkez bruttvagyonvltozsok M. idponthoz
tartoz algebrai sszege egyenl e bruttvagyonvltozsok szabvnyos gazdasgi esemnyek
szerinti osztlyozsnak fsszegvel (2./T6).

A (0;M] idintervallumban kvetkezzen be n (n=1,2,...) szm

gazdlkodspecifikus gazdasgi esemny. Minden ilyen esetben a
bruttvagyon n vagy cskken vagy csak struktrt vlt (A15). Tegyk fel, hogy a cskkenseket a gazdlkodra jellemz megfelel
knyvviteli esemnyek mrtkadata negatv eljellel rgzti. Ezen
kvl, mivel kompenzatv esemny kapcsn nem vltozik meg a bruttvagyon [a fsszeg ui. invarins a kompenzatv gazdasgi esemnyekre nzve (1./T19/C1)], ezrt ezek mrtkadatt nullnak tekintjk.

82
E felttelekkel a bruttvagyon V mrtke a t=M idpontban egyenl a (0;M] idintervallumban rgztett n darab knyvviteli esemny
azonos tpus mrtkadatnak algebrai sszegvel (1./T27). De ezt
az n darab konkrt knyvviteli esemnyt megnevezhetjk a nekik
megfelel szabvnyos gazdasgi esemnnyel, mde emiatt a bruttvagyon V rtke nyilvnvalan nem vltozik meg.
E szabvnyos gazdasgi esemnyek szma k, melyre igaz: 1kn
(n=1,2,...) (2./T5/C1).
Mrmost, ha k=n, azaz a szabvnyos gazdasgi esemnyek s a
knyvviteli esemnyek szma megegyezik, akkor a ttel nyilvn
igaz. Ha viszont 1<k<n, akkor az n tagbl ll sszegzst k csoportra szt kell bontanunk a szabvnyos gazdasgi esemnyek szerinti osztlyok ltrehozsa rdekben, majd e csoportok tagjainak
algebrai sszegt kell sszegeznnk, ami viszont az sszeads aszszociativitsa folytn nem vltoztat V mrtkn (2./T6).
Q.e.d.
P.:
K.: 1./T19/C1, T27, A15, 2./T5/C1.
7. Ttel: Minden szabvnyos gazdasgi esemnyhez egyrtelmen hozzrendelhet a neki megfelel konkrt knyvviteli esemny koordintit ad osztlykoherencia (vagy kontrozsi sszefggs) y*=o* adatvektora, mint metaadat (2./T7).

A gazdlkod anyagi helyzetnek vltozsait egy adott idszakban

lerja knyvviteli nyilvntartsnak n darab knyvviteli esemnye.
Most szabvnyos gazdasgi esemnyek ltrehozsa cljbl, a vonatkoz defincinak megfelelen, tipizljuk (soroljuk osztlyokba) ezeket a knyvviteli esemnyeket az a3 adatuk (azaz a konkrt
esemnynevk) jelentse alapjn. Ekkor egy osztlyba csak olyan
knyvviteli esemnyek kerlhetnek, amelyeknek azonos jelents az
a3 adata. gy k darab osztlyt kapunk s az osztlyok k szmra
igaz 1kn (2./T5/C1). Kvetkezskppen ezen osztlyokban legalbb
egy, k<n esetben, nmelyikben tbb knyvviteli esemny lesz. Minden olyan osztlyra, amelyben tbb knyvviteli esemny van, az
jellemz, hogy az esemnyek a3 adata (konkrt esemnynv) a jelentsk szerint ekvivalens, mg az a4 adataik (azaz az esemnykoordintik) azonosak (1./A14). Ez utn minden osztlybl egy s
csak egy knyvviteli esemny a3 adatt tekintsk szabvnyos gazdasgi esemnynek a vonatkoz definci szerint. Ekkor kapunk k
darab szabvnyos gazdasgi esemnyt, melyek pronknt klnbznek,
s amelyekhez az osztlyozs rvn egyrtelmen hozzrendeltk sajt a4 adataikat, azaz az esemnykoordintikat.
Q.e.d.
P.: 2./T8.
K.: 1./A14, 2./T5/C1.
Corollrium: Minden egyes szabvnyos gazdasgi esemnyhez egyrtelmen hozzrendelhet a neki
megfelel konkrt bizonylatolt gazdasgi esemnynek e szabvnyos gazdasgi esemnytl fgg minden konkrt adata is (2./T7/C).

83
Q.e.d.
P.:
K.: 2./T7.
8. Ttel: A gazdlkod brmely knyvviteli esemnynek koordinti a gazdlkodsra jellemz
szabvnyos gazdasgi esemnyek fggvnyeknt automatikusan meghatrozhatk (2./T8).

Jellje ei az i. gazdlkodspecifikus [2./T5/C2] szabvnyos gazdasgi esemnyt (i=1,2,...,n). Minden ilyen szabvnyos gazdasgi esemnyhez egyrtelmen hozzrendelhet a neki megfelel konkrt
knyvviteli esemny koordintit ad osztlykoherencia (vagy kontrozsi sszefggs) yi*=oi* adatvektora, mint az esemnykoordin
tk metaadata (2./T7). De yi*=oi* az yi*=[y1,y2,...yk]i=oi*= (xi)
knyvviteli derivlt72 rtke az xi=ei helyen.
Mrmost e yi*=oi* knyvviteli derivlt-rtket automatikusan meghatrozza a valdi kontroz automata, amely az n. memria (llapotmemria) nlkli, vges s diszkrt Mealy-fle absztrakt auto*

matnak megfelel yi =[y1,y2,...yk]i =oi*=(xi)=(ei) kt [a (xi)

vagy (ei)] knyvviteli derivlt fggvny valamelyikvel modellezett73 a vonatkoz definci szerinti.
Q.e.d.
P.: 2./T8/C.
K.: 2./T7, 2./T5/C2.
Corollrium: Amennyiben az eiyi*=[y1,y2,...yk]i=oi* minden i-re elre helyesen meghatrozott, gy a
kontroz automatval brmennyi bizonylatolt gazdasgi, illetve knyvviteli esemny osztlykoherencijnak (kontrozsi sszefggsnek) automatikus megadsa is hibtlan lesz, vagyis a kontroz automata az ei-k hibtlan kontrozsa esetn kizrja a kontrozsi hibkat azaz: ettl a hibatpustl
izollja a knyvviteli rendszert, brmely ei-re s akrhnyszor ismteljk e mveletet (2./T8/C).

P.:
K.: 2./T8.
9. Ttel: A gazdlkod brmelyik knyvviteli esemnynek adatai a gazdlkodsra jellemz
szabvnyos gazdasgi esemnyek s a konkrt bizonylatolt gazdasgi esemnyek adatai fggvnyeknt knyvel-automatval automatikusan meghatrozhatk (2./T9).

A knyvel automata egyszer Mealy-fle absztrakt automatkkal

modellezhet
sszetett
vals
automata,
amely
nem
csak
az
osztlykoherencia-adatokat adja meg automatikusan a szabvnyos
72

Hogy a blaszfmia ltszatt is elkerljk, a knyvviteli derivlt fogalmnak bevezetse kapcsn a kvetkez tnyekre hvom fel a figyelmet: (1) A knyvviteli derivlt sszehasonlthat a matematikai derivlttal pldul abban a tekintetben, hogy f(x)-ben, implicite, minden informci benne van f(x)-re vonatkozan, s hogy alapveten logikai levezetssel szrmaztatjuk mindkettt. Ugyanis, a matematikai differenciahnyados hatrrtknek meghatrozsa mint
minden elemi fggvny vagy sorozat hatrrtknek a meghatrozsa dnten logikai megfontolsokon alapul
levezets, s nem pedig szmts. (Ugyanakkor termszetesen a klnbz fggvnyek sszege, szorzata s hnyadosa,
stb. hatrrtknek meghatrozst mr szmtsnak nevezzk - joggal.) (2) Msrszt: Eddig sem csak a matematikban
hasznltk a derivlt fogalmat. Van pldul nyelvtani (szrmazksz), villamossgtani (derivlt ramkr mellk
ramkr) s ballisztikai derivlt (ballisztikai plyaeltrs) is.
73
Minderrl bvebb informci olvashat mg knyvem els rsze IV. fejezetnek 3.2 pontjban.

84
gazdasgi esemnyek fggvnyben (2./T7), hanem minden olyan adatot, amely adott ei (i=1,2,...,n) szabvnyos gazdasgi esemnyhez
egyrtelmen hozzrendelhet (2./T7/C). Ilyen adat lehet pldul a
mennyisgi egysg (vagy mrtkegysg) adata, vagy az esemny FA74
kulcsa s az FA ajnlott sszege is,
stb. A knyvelautomata bemen adataihoz csatolhatk mg a konkrt bizonylatolt gazdasgi
esemny konkrt adatai (esemny kelte, bizonylatazonost, mennyisg, pnzrtk, stb.) is. gy ezek kimen adatok is lesznek egyben.
Q.e.d.
P.: 2./T10
K.: 2./T7, 2./T7/C.
10. Ttel: Az E s/vagy F aspektus sszes siS={s1,s2,...,si,...,sp} azonostszm vagyonfajta
(hagyomnyosan fknyvi szmlk) sszest (fknyvi) kivonatnak adatai a knyvelautomatval ellltott adatbzisbl az sszest kimutatst lekrdez automatval meghatrozhatk (2./T10).

A knyvel-automatval (2./T9) ellltott sszes knyvviteli

esemnybl, mint adatbzisbl az sszest kimutatst lekrdez
absztrakt automatnak megfelel vals automatval az E s F osztlyozs szerinti siS={s1,s2,...,si,...,sp} azonostszm vagyonfajtk s rszsszegei (hagyomnyosan a fknyvi szmlk) sszest
(fknyvi) kivonatnak adatai automatikusan lekrdezhetk, elllthatk. Ugyanis az sszest kimutatst lekrdez absztrakt automata vals alakja egy olyan szekvencilis gp, amely az
s1,s2,...,sp bemenjeleket sorra veszi majd az R knyvviteli adatbzison az ltaluk jellt vagyonfajtk (hagyomnyosan fknyvi
szmlk) forgalmi s egyenlegadatait meghatrozza s sszest
(fknyvi) kivonatba rendezi.
Q.e.d.
P.: 2./T10/C1,
K.: 2./T9.
Corollrium 1: Amint az sszest kimutats (fknyvi kivonat), hasonlkpp a mrleg is elllthat a
megfelelen kiegsztett lekrdez automatval (2./T10/C1).

P.:
K.: 2./T10.
Corollrium 2: Az sszest kimutats (fknyvi kivonat) s a mrleg N aspektus (N2) vagyonosztlyozsi rendszer esetn is elllthat a megfelelen kiegsztett lekrdez automatval (2./T10/C2).

P.:
K.: 2./T10.
Corollrium 3: A knyvelautomata s a lekrdezautomata hasznlata szksgtelenn teszi a hagyomnyos fknyvi szmlk vezetst, kvetkezskpp okafogyott teszi a szmlaelmleteket. Ez a
szmlaelmletek halla (2./T10/C3).
74

Az FA sszege clszeren csak ajnlott lehet, ami nyilvn nullzand, ha a konkrt esetben pl. FA-mentessg ll
fenn.

85
P.:
K.: 2./T10.

3. A tartozs - krbetartozs elmletnek75 alapelemei

3.1 Princpiumok
3.11 Defincik
1. Adskrt alkot, azaz krbetartozik n (n2) gazdlkod, akkor s
csak akkor, ha mindegyikk tartozik is legalbb egy msiknak s
kvetel is legalbb egy msiktl.
2. Az adskrben szerepl gazdlkodt az adskr tagjnak nevezzk.
3. A kttag adskrrl azt mondjuk: adspr.
4. Egyszer adskr az, melynek minden tagja csak egyetlen msik
tagnak tartozik s csak egyetlen msik tagtl kvetel. Az
adspr egyszer adskr.
5. sszetett adskr az olyan n3 tag adskr melynek tagjai kett vagy tbb egyszer adskrt alkotnak.
6. A piacon elad s/vagy vev gazdlkodkat76 a piac szereplinek
nevezzk.
7. Piaci szegmensnek nevezzk az n szm piaci szereplbl (n3)
ll halmaz ama rszhalmazt, mely adskrt alkot.
8. Fggetlen (egymstl) kt piaci szegmens, ha tagjaik kztt
nincs olyan, amely a msik szegmens valamely tagjnak tartozik.
3.12 Piaci aximk
1. Minden piacon van legalbb kt szerepl legalbb egy elad s
legalbb egy vev (A1).
P.: 3./T2, T3.
2. A piac szerepli az adsvtel sorn mindig sajt vagyontrgyaikat adjk el eladknt,77 illetve adjk ellenrtkl vevknt
(A2).
P.: 3./T2.

75

Ez az elmlet a vagyonelmlet egy legazsa.

A piacon elad s vev gazdlkod alatt nem rtjk a gazdlkod alkalmazottjt vagy megbzottjt. A piaci szereplk
mindig sajt javaikat adjk el, illetve a sajt nevkben vsrolnak. Ezrt pl. a munkaerpiacon a munkavllalk az elvgzend munkjukat adjk el a munkltatiknak, azok pedig - ellenrtkkppen a dolgoziknak a munkabrket
jelent pnzsszegeket adjk el.
77
Ui.: a kzvett gynk is a sajt vagyoni rtket kpvisel szolgltatst adja el jutalka ellenben, mg az ltala
lebonyoltott gylet msok kztti, az eredeti elad s a vev kztti adsvtel. A bizomnyos is, ha eladta, sajtjaknt
adta el az rut, melyet ekkor - utlag - megvesz eredeti tulajdonostl. s: hiba lopott egy eladsra knlt ru, amg a
lops be nem bizonyosodik, addig a tolvaj elad is rendes piaci szereplnek szmt az adsvtel gyletben, minden
jhiszem vevvel szemben. Ha pedig kiderl a turpissg, akkor az gylet - a jog szerint - legfeljebb rvnytelen, mintha meg sem trtnt volna.
76

86

3.2 A tartozs - krbetartozs ttelei s bizonytsuk.

1. Ttel: Minden hitelez egyben ads is (3./T1).

Legyen G1 egy a ltez hitelezk kzl, s hitelezzen pl. a G0

gazdlkodnak. Azt kell megmutatni: ahogy G1, gy minden hitelez
egyben ads is.
Ha teht G1 hitelezje G0-nak, akkor G0 az 1./A9 axima szerint
tartozik neki s G1 vagyonos az 1./A8 axima alapjn. (Jellje G1
vagyont V1>0). De akkor G1-nek is van A1>0 adssga, ugyanis akinek van vagyona, annak van adssga is (1./A8), azaz fennll:
78
az 1./A8 s 1./T1,T2 szerint. Teht: G1 valakinek,
(V1>0)(A1>0)
mondjuk pl. akr G0-nak s/vagy ms gazdlkod(k)nak (pl. G2-nek)
szintn kell, hogy tartozzon. Vagyis: G1 maga is ads. Mivel G1 a
ltez hitelezk brmelyike lehet s ads volta hitelezi mivoltbl kvetkezik (1./A8) , ezrt minden hitelezre nzve fennll,
hogy egyben ads is. (E ttel nem megfordthat!)
Q.e.d.
P.: 3./T3.
K.: 1./A8,A9,T1,T2.
2. Ttel: A piac szerepli mind vagyonos gazdlkodk (3./T2).

Vlasszunk ki az sszes piaci szerepl kzl tetszlegesen kettt. Legyenek ezek G1 s G2. Egyik mondjuk G1 elad legyen, a
msik G2 pedig vev, a 3./A1 szerint. lltom: G1 is s G2 is
vagyonos gazdlkod, akrcsak a tbbi.
Ha ugyanis nem, akkor vagy G1 nem a sajt vagyontrgyt adja el
eladknt, vagy G2 nem a sajt vagyontrgyt adja ellenrtkl,
mint vev, avagy egyikk sem a sajt vagyontrgyt adja az gyletben a msiknak, mde mindhrom eset ellentmond 3./A2-nek. Mert
3./A2 szerint: a piac szerepli az adsvtel79 sorn mindig sajt
vagyontrgyaikat adjk el eladknt,80 illetve adjk ellenrtkl
vevknt, teht G1 s G2 vagyonos lehet csak. Ha viszont G2 az elad s G1 a vev, k akkor is vagyonos piaci szereplk. Elg ennek
igazolshoz az indexeiket felcserlni.
Vgl: Mivel az sszes piaci szerepl kzl, tetszlegesen, brmelyik kettt vlaszthatjuk G1-nek s G2-nek, ennek ellenkezjt

A szimblum a matematikai logikban hasznlatos mvelet, az implikci jellsre szolgl. Esetnkben

(V>0)(A>0) szavakkal kifejezve: V>0 impliklja A>0-t. Jelentse: V>0, mint magtl rtetden velejrt, kvetkezmnyknt, magval hozza A ltezst (azaz A>0-t).
79
Az adsvtel tgan rtelmezve, nem csak dolgok, hanem szolgltatsok adsvtelt is jelenti.
80
Ui.: a kzvett gynk is a sajt vagyoni rtket kpvisel szolgltatst adja el jutalka ellenben, mg az ltala
lebonyoltott gylet msok kztti, az eredeti elad s a vev kztti adsvtel. A bizomnyos is, ha eladta, sajtjaknt
adta el az rut, melyet ekkor - utlag - megvesz eredeti tulajdonostl. s: hiba lopott egy eladsra knlt ru, amg a
lops be nem bizonyosodik, addig a tolvaj elad is rendes piaci szereplnek szmt az adsvtel gyletben, minden
jhiszem vevvel szemben. Ha pedig kiderl a turpissg, akkor az gylet - a jog szerint - legfeljebb rvnytelen, mintha meg sem trtnt volna.
78

87
nem ktttk ki, ezrt a G1 s G2 piaci szerepl esetre igaz llts az sszes piaci szereplre nzve is igaz.
Q.e.d.
P.: 3./T3, T4.
K.: 3./A1, A2.
Corollrium: Minden elad vev is s fordtva (3./T2/C).

P.:
K.: 3./T2.
3. Ttel: Ha egy piacon csak kt vagyonos gazdlkod van, akkor k csak egymsnak tartoznak.
Ekkor k ketten - adsprknt - a minimlis tagszm adskrt alkotjk. (Ez a krbetartozs minimlis esete.) [3./T3]

Minden piacon van legalbb kt szerepl 3./A1 szerint, s ezek

vagyonos gazdlkodk 3./T2 szerint. Legyen teht most a piacon csak
kett szerepl: G1 s G2. Azt kell megmutatni, hogy e G1 s G2 gazdlkod csak egymsnak tartozik.
Minthogy G1 vagyonos, ezrt van adssga (1./A8 szerint) s gy
van hitelezje 1./A9 szerint. E hitelez a felttel szerint nem lehet ms csak G2, aki szintn vagyonos (1./A9 szerint).
m, ha G2 hitelez, akkor ads is a 3./T1 szerint, kvetkezskpp van hitelezje 1./A9 szerint. E hitelez a felttel nem lehet
ms csak G1.
G1 s G2 teht valban csak egymsnak tartozik. Ez a krbetartozs minimlis esete (3./T3).
Q.e.d.
P.: 3./T4.
K.: 1./A8, A9; 3./A1, T1, T2.
4. Ttel: Minden piacon van krbetartozs, vagyis a krbetartozs a piacok attribtuma, azaz nlklzhetetlen tulajdonsga (3./T4).

Jellje n a piaci szereplk szmt s legyen a vizsglt piacon n

(n2) piaci szerepl. lltom, hogy e piacon s minden piacon
van krbetartozs, kvetkezskpp a krbetartozs a piacok termszetes s nlklzhetetlen tulajdonsga, azaz: attribtuma. Ehhez
azt kell megmutatni, hogy az n (n2) szerepls piacon van legalbb
egy adskr.
A vizsglt piacon teht van n szerepl (n2). Ezek 3./T2 szerint
mind vagyonos gazdlkodk.
Mrmost, ha mindssze kt szereplje van e piacnak (azaz n=2),
akkor a 3./T3 szerint k ketten - adsprknt - a minimlis tagszm adskrt alkotjk s gy a ttel igaz. Minthogy e piacot ms
vonatkozsban nem specifikltuk, ezrt az is igaz, hogy minden
ktszerepls piacon van krbetartozs.

88
Ezutn azt kell megmutatnunk, hogy akkor is van e piacon adskr, kvetkezskpp krbetartozs, ha n>2. Ehhez a kvetkez mdszert is alkalmazhatjuk:
1) Kivlasztjuk az n-szerepls piac egyik tagjt tallomra
s hozzrendeljk az 1. sorszmot.
2) Majd a maradt szmozatlan tagokbl, ismt vletlenszeren,
kivlasztunk egyet s ehhez eggyel nagyobb sorszmot rendelnk.
3) Ezutn gondolatban egy nyilat irnytunk hegyvel, a nagyobb
sorszm taghoz. E nyl azt jelenti, hogy a kisebb sorszm
piaci szerepl, aki vagyonos (3./T2 szerint), tartozik a nagyobb sorszmot viselnek (azaz a nyl hegye mutat a hitelezre), ugyanis: akinek van vagyona, annak van adssga is,
mellyel hitelezjnek tartozik 1./A8 s 1./A9 szerint.
4) A 2) s a 3) lpst addig ismteljk, amg van mg szmozatlan tag. Ezutn mr az n. taghoz is nyl irnyul az (n-1).
tagtl. Minthogy 3./T2 szerint minden piaci szereplnek van
vagyona, gy az n. szereplnek is van, ezrt neki is van
adssga (1./A8 szerint), mellyel hitelezjnek vagy hitelezinek tartozik (1./A9 szerint).
5) mde, mivel a szmozatlan tagok mr elfogytak, az n. tag vagy
az 1., s/vagy a 2., ..., s/vagy az n-1. sorszm tagnak
kell tartozzon. S e tartozsa jell ezek kzl egyhez vagy
tbbhz nylnak kell irnyulnia tle.
Mindez azt jelenti, hogy e piacon vagy egy n, vagy egy n-1, ...,
vagy egy 3, vagy egy 2 tag egyszer adskr ltezik legalbb.
Minthogy e piacot ms vonatkozsban nem specifikltuk, ezrt az
az llts is igaz, hogy minden piacon van adskr s gy krbetartozs, ami a piacok attribtuma (3./T4).
Q.e.d.
P.:
K.: 1./A8, A9; 3./T2, T3.
Corollrium 1: Ha az n-szerepls piacon (ahol n
3) van olyan adskr, amely nem adspr, akkor az
ilyen kr brmelyik tagja nem csak egyetlen msik krtagnak tartozhat. Teht az ilyen adskr lehet
sszetett is (3./T4/C1).

Q.e.d.
P.:
K.: 3./T4.
Corollrium 2: Az adsprok szmt jellje P. Az n szerepels piac (ahol n>3) tartalmazhat tbb adsprt is. Az adsprok lehetsges maximlis szma Pmax=[(n-1)*n]/2, ami ekvivalens pl. a konvex n-szg
oldal s tljelleg leinek egyttes szmval (mely utbbi teljes indukcival knnyen igazolhat)
[3./T4/C2].

Q.e.d.
P.:
K.: 3./T4.
Corollrium 3: Ha az n szerepls piac (ahol n>3 s pros), mint halmaz, k piaci szegmensre (azaz rszhalmazra) bomlik (ahol n=2k), akkor k darab egymstl fggetlen adsprt tartalmazhat (3./T4/C3).

89
Q.e.d.
P.:
K.: 3./T4.
Corollrium 4: Ha az n szerepls piac (ahol n>2) piaci szegmensekre bomlik, akkor adspr(oka)t
s/vagy pratlan tagszm adskr(ke)t tartalmaz (3./T4/C3).

Q.e.d.
P.:
K.: 3./T4.

Elsz a fggelkekhez
Noha f tmnk a vagyon knyvvitele, a kvetkez rszt, mely az
itt kzlt elmletrendszer egyik kvetkezmnye (ld. a knyvvitel
fogalmt), mgis az olvas figyelmbe ajnlom:
Az egyes knyvelseknek klnfle esemnyek lehetnek a trgyaik.
Pldul: a vesztes csapat elknyveli magnak a veresget, a futballbr a kiosztott srga s piros lapokat, a pedaggus a dikok
rdemjegyeit, a trtnsz a trtnelem esemnyeit, a kutat biolgus a ksrleti eredmnyeket, a gazdlkod knyvelje pedig, a vagyonban, az adssgban a gazdlkods sorn bell vltozsok, azaz
a gazdasgi esemnyek adatait. Ezek teht mind esemnyek kronologikus nyilvntartsai, azaz knyvvitelek, mgpedig specilis
knyvvitelek.
Specilis knyvvitelek pldul:
a) iskolai tanulk feleleteinek, tudsszint-vltozsnak knyvelse (osztlynaplba, leckeknyvekbe, stb.),
b) pl. csaldi vagy vllalati telefonhvsok s azok havi kltsgeinek hv s hvott szmonknt s/vagy hvsi viszonylatonknt val knyvelse,
c) televzi-, telefon-, jsg- vagy internet-szolgltats, stb.
vltoz elfizeti nyilvntartsnak vezetse,
d) knyvtr, fldhivatal, anyaknyv, npessg, gpjrm vltoz
nyilvntartsnak vezetse, valamint
e) rendrsgi, gyszsgi, llami s nkormnyzati adhatsgi,
illetkhivatali kronologikus nyilvntartsok vezetse,
f) perek dokumentumainak s esemnyeinek (beadvnyok, trgyalsok, szemlk, jegyzknyvek, vgzsek, hatrozatok, stb.)
kronologikus nyilvntartsa,
g) az llami statisztikai cl knyvelsek egy jelents rsze
(pl. a GDP napi alakulsnak feljegyzse, stb.),
h) a tzsdei termkek ralakulsnak knyvvitele,
i) a kronolgit is figyel tudomnyos ksrletek, vagy megfigyelsek (pl. meteorolgiai, csillagszati megfigyelsek, mszaki, biolgiai, kmiai ksrletek) adatainak knyvelse,
j) a gazdlkods krben: a megrendelsek nyilvntartsa, a munkaszmos s kronologikus projektnyilvntarts, a reklmmarketing-nyilvntarts, a dolgozk munkagyi s brnyilvntartsa,

90
k) avagy a vagyonknyvviteltl elklntetten vezetett kszletnyilvntarts, az nkltsg alakulsnak nyilvntartsa, stb.
A kvetkez hrom fggelkben hrom specilis knyvvitelre mutatok, br fiktv adatokkal, mde jl illusztrl pldt.

1. Fggelk
Vagyonknyvvitel s mrlege
Az albbi y1. tblzat egy n=4, azaz id-eszkz s id-forrs
aspektus dinamikus valamint eszkz s forrs aspektus statikus
komplex vagyonmrleget mutat, amely a kvetkez y2. tblzat szerinti vagyonknyvviteli adatbzis ltal egyrtelmen meghatrozott.

91

92

93

2. Fggelk
Tudsszint knyvelse s a tudsmrleg
A t1, t2 s t3 tblzatok mrlegeit a t4 tblzatbeli knyvviteli adatbzis adatai hatrozzk meg.
A t1 tblzatban egy vegyes statikus s dinamikus aspektus
mrleg-vltozat lthat.
A t3 tblzat szerinti mrleg az els kt oszlopban a tanulk
ismert bizonytvnyt vagy leckeknyvt tartalmazza.

Az osztlynapl, mint knyvelsi nyilvntarts, amely az elbbi

mrlegeket meghatrozza, a kvetkez formt is ltheti:

94

Ugyanakkor
a tudsszint alakulsnak knyvelse trtnhet pl. egy egsz iskola napljban is. Ekkor nyilvn clszer a naplba (a knyvviteli nyilvntartsba) felvenni a ngy, mr emltett adat mell
tovbbiakat is. Pldul 5. adatknt az vfolyam azonostjt, 6.
adatknt az osztly azonostjt. St felvehet lenne pl. az rdemjegyet ad tanr azonostja is mondjuk 7. adatknt. Ekkor a
mrlegben, tovbbi aspektusknt, a tudsszint-alakuls tanronknt is kimutathat lenne, amelynek nyilvnvalan jl hasznosthat az informcitartalma az iskolt irnyt vezetk szmra.

95

3. Fggelk
Havi telefonkltsg knyvelse s annak havi kltsgmrlege

96

4. Fggelk
Egy mai klasszikus magyar, angol s nmet vagyonmrleg

97

Alkalmazott fontosabb jellsek

kzelten egyenl
nagyobb, vagy egyenl
kisebb, vagy egyenl
kisebb vagy nagyobb, vagy egyenl

kicsiny klnbsg

vgtelen (nagy vagy kicsi) szm vagy mennyisg

fggvny, lekpezsi szably vagy hozzrendelsi

utasts

fggvny, lekpezsi szably vagy hozzrendelsi

utasts
lekpezs, hozzrendels
implikci (jelents a matematikai logikban:
mint magtl rtetdt velejrt, kvetkezmnyt
magval hoz)

pozitv vagy negatv

nem egyenl

ekvivalens (mskpp: azonos)

kzelten azonos
... folytatds az elzek szerint

halmazok unija (vagy egyestse)

nem rsze

valdi rsze

rsze vagy egyenl

eleme

nem eleme

sszegzs (summa)
A
halmaz
S
mtrix
v* sorvektor
v
oszlopvektor
1
sszegz oszlopvektor (minden eleme 1)
0
nullvektor (minden eleme 0)

konjunkci (logikai s)

diszjunkci (logikai s/vagy)

kizr vagy (logikai - csak! - vagy)