|
|
|
Letöltés PDF-ben:
Angol (English):
Gulyás István
MODERN KÖNYVVITELTAN
III.
A modern speciális és
az általános
n-szeres (n³3) könyvvitelek,
köztük
az n-szeres speciális vagyonkönyvvitel
elméletének elemei
és
axiomatikus rendszere
(Az elméleti könyvvitel alapjai)
2011
Kiadó: GIN Professional Kft; 1163-H. Budapest, Edit u. 15.
Szerző: Gulyás István közgazdász.
http://www.ginprofessional.hu ; mailto:gulyas@ginprofessional.hu
Budapest, 2011. december 17.; második javított és bővített kiadás; publikálva először 2009. augusztusban Magyarországon.
![]()
István Gulyás 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 változtasd! 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 .

Gulyás István
közgazdász
Született: 1948.10.17-én
(A képen a szerző látható 2009-ben)
Gulyás István
MODERN KÖNYVVITELTAN
III.
A modern speciális és
az általános
n-szeres (n³3) könyvvitelek,
köztük
az n-szeres speciális vagyonkönyvvitel
elméletének elemei
és
axiomatikus rendszere
(Az elméleti könyvvitel alapjai)
2011
Kiadó: GIN Professional Kft; 1163-H. Budapest, Edit u. 15.
Szerző: Gulyás István közgazdász.
http://www.ginprofessional.hu ; mailto:gulyas@ginprofessional.hu
Budapest, 2011. december 17.; második javított és bővített kiadás; publikálva először 2009. augusztusban Magyarországon.
ISBN 978-963-88486-7-3 online
“A dolgok, új nézőpontból, meglepően másnak mutatkozhatnak,
mint amilyennek valaha megismertük őket. S ez áll a könyvvitelre is.”
Gulyás István
TARTALOMJEGYZÉK
ELŐSZÓ A 2. KIADÁSHOZ *
E második kiadásra két okból kerül sor már egy éven belül. Egyrészt azért, mert elkészítettem e “harmadik rész” angol fordítását és így szükségképpen és párhuzamosan át kellett tekintenem a magyar verziót is. Ezért elkerülhetetlenné vált a magyar változat újbóli ellenőrzése. Az észlelt és zavaró matematikai elírásokat – ebből akadt néhány – kijavítottam. Másodszor azért is kerül sor egy év multán az új kiadásra, mert az angol nyelvre fordítás felkínálta a lehetőséget a meghatározások és bizonyítások alaposabb áttekintésére, a megfogalmazások helyenkénti egyszerűsítésére, pontosítására. Ugyanakkor lehetővé vált a corolláriumok számának bővítése. Sőt, sor kerülhetett a definíciók és az axiómák terén némi átcsoportosításra is, s ezzel lehetőség nyílt arra, hogy az úgynevezett általános könyvvitel és a speciális vagyonkönyvvitel princípiumai egyértelműen kettéválhassanak. Így már értelme lett annak is, hogy a vagyontól különböző speciális könyvvitelekre illusztráló fiktív példákat illesszek be függelékként. Mindazonáltal kijelenthetem, hogy az n-szeres könyvvitel axiomatikus rendszere az alapvető felépítését és tartalmát tekintve mit sem változott az első kiadáshoz képest – mert logikusan nem is változhatott.
***
Lényegében a könyvem, melynek megírásához az 1997. év végi tudományos problémafelvetést követően a 2000. év elején kezdtem — e harmadik részét kivéve, és természetesen magyar nyelven — a 2003. év végére elkészült.
Tartalmát, akkor, a középiskolai tudásszintnél többet nem igénylő és célzatosan népszerűsítő jelleggel írt első és második rész, valamint a függelék képezte. Úgy tűnt: minden fontosabb alapismeretet, amit a hagyományos könyvvitellel, illetve az általam leírt modern N-szeres (N³ 3) vagyonkönyvvitellel kapcsolatban el lehetett mondani, azt mind kifejtettem.
Ekkor olvastam először Szász Gábor 1972-ben kiadott “Az axiomatikus módszer” című könyvét. Ebben az I. fejezet 2. pontja a matematika tudománnyá válásról szól. Szász kifejti: "Sem az egyiptomiak, sem a babiloniak nem foglalták szabályokba matematikai ismereteiket. Vagyis, mai nyelven szólva, nem alkottak tételeket, hanem csak mintapéldákat állítottak össze, s ezeken a konkrét számszerű példákon mutatták be a számítási módszereket.
A mai matematikának már a középiskolás fokán általánosan használt olyan kifejezési formák, mint a definíció, tétel, axióma és bizonyítás az ógörög kultúrában alakultak ki, s eközben a matematika tapasztalati ismeretek gyűjteménye helyett deduktív tudománnyá vált."
Azonnal beláttam, hogy a tradicionális könyvviteltannak, sem Paccioli előtt sem Paccioli óta, máig nincs szabatosan megfogalmazott, egyértelmű és egymásra épülő tudományos fogalmakból álló, ellentmondástól mentes fogalomrendszere, nincsenek axiómái és nincs egymásra épülő bizonyított tételrendszere sem. Igaz ez az általam felvázolt — már egzakt definíciókat, axiómákat, tételeket, illetve ezek összefüggéseit is említő — eddig elkészült modern N-szeres vagyonkönyvviteltanra is. Tehát a könyvviteltan, mint tudomány, ebben az állapotában, úgy, ahogy volt, nem lépte túl a matematika tapasztalati ismeretek gyűjteménye 2500 évvel ezelőtti babiloni-egyiptomi szintjét.
Pedig a lehetőség Euklidész óta, azaz legalább kétezer háromszáz éve adott volt. Lehető volt, hogy modern módon írják le a könyvvitel tanát is, hasonlóan a már akkor fejlett tudományt jelentő matematikához, geometriához.
De a könyvvitel N-szeres (N≥3) voltát is felfedezhették volna, már az antikvitásban is, de Paccioli korában már mindenképp. Ugyanis bármely gazdasági esemény következett be, már az ókorban is, az sohasem csak két, azaz eszköz és forrás (tőke) aspektusát mutatta a vagyon és/vagy az adósság változásának, hanem mindig eleve legalább három aspektusét. Pl.: ha vettünk valamely árut hitelre, akkor e gazdasági eseményről legalább három paraméter adatát ismertük azonnal: (1) a változás időpontját, (2) a megvett vagyontárgy típusát (fajtáját) és (3) a vásárlás forrását, azaz azt, hogy idegen tőkét (pl. hitelből) vagy saját tőkét fektettünk-e be. És bármely más gazdasági eseménynél ugyanezt tapasztaljuk. E három paraméter adat-3-asa (mint az esemény koordináta-3-asa) pedig azonnal, még mielőtt egyáltalán bármit is könyveltünk, természetes módon kijelölte és így létrehozta, vagy megváltoztatta az idő-, eszköz- és forrásaspektusú, a változás által érintett természetes vagyonosztályokat, meghatározta természetes módon, az idő-eszköz-forrás aspektusú vagyonosztályozásokból álló komplett dinamikus és statikus vagyonosztályozási rendszert, nevezzük így, (most, e példa szerint) a háromserpenyős mérleget. De ezt a könyvelők és a könyvvitel professzorai több mint 2300 éven át nem ismerték fel. Pedig ez az adat-3-as, amióta csak gazdálkodik az ember, attribútuma a gazdasági eseményeknek és benne van és volt mindig is a könyvelés könyvelők által ismert adathalmazában, ha agyagtáblára könyveltek is. Csak ezt sem ismerték fel.
A hagyományos könyvvitel és tana több mint 2300 éven át nem fejlődött kielégítően. Paccioli írta először le 1494-ben egy kezdetleges kettős könyvvitel alkalmazását, egy egyszerű példán bemutatva azt. Shär megalkotta 1890-ben a zárt számlarendszert (Németül: “Das geschlossene Kontensystem”. Schmalenbach és Kosiol 1933-ban megálmodtak egy úgynevezett dinamikus mérleget, amelyek voltaképp statikusak. A könyvviteltan eközben, Pacciolitól Schmalenbachig, eljutott a kettős könyvvitel ún. egyszámlasoros számlaelméletétől, a XX. század elejére, tehát 400 év alatt, a kettős könyvvitel ún. négy számlasoros számlaelméletéig. Voltaképpen, a hagyományos könyvviteltan, 1910-től napjainkig, azaz egy teljes évszázadon át megvalósult apróbb változtatásaitól eltekintve fejlődésképtelenül stagnált. Professzoraik máig leírják, hogy létezik és használható az ún. egyszeres könyvvitel, ami alapvető tévedés. Ezt is bizonyítom ebben a munkában. És a kettős könyvvitel számlaelméleteitől sem tudtak elszakadni még a személyi számítógépek megjelenése után, a XX. század végén megkezdődött PC korban sem. Sőt, a szoftverfejlesztők is, könyvelő programjaikkal, máig, egyszerűen utánozzák a manuális kettős könyvvitelt, így azok is konzerválják az elavult könyvviteli ismereteket és gyakorlatot. E műben ezt is bizonyítom.
A hagyományos könyvvitelnek és tanának fejlődése mára zsákutcába jutott, s e tan egyenesen ortodoxszá vált.
Ezért 2004 elején elkerülhetetlennek láttam a könyvviteli elemek felállítását megkísérelni és ezen keresztül az n-szeres (n≥3) komplett (azaz kielégítően informatív és a gazdasági eseményekre nézve zárt rendszerű) könyvvitel létét, tulajdonságait és az általa nyílt lehetőségek tág terét bemutatni. Bizonyítom továbbá, egzakt módon, hogy mind az ún. egyszeres könyvvitel, mind az ún. kettős könyvvitel inkomplett. Ezek oktatása és “használata”, leginkább ma a PC-k korában hátráltatja a gazdasági szereplők kielégítő információval való ellátását – és ráadásul nem egyszerűsíti a könyvelési munkát sem.
Döntöttem. Felfüggesztettem a könyvkiadás előkészületeit, s hozzáfogtam a vagyonkönyvviteli elemek összeállításához, Ez történt egymásra épülő definíciók, axiómák, tételek, sokszor új, addig fel sem merült tételek megfogalmazásával és bizonyításával. E tevékenység, a könyvviteli elemek koherens rendszerbe foglalásával, kellemes meglepetésként, további új ismereteket is hozott.
Noha időközben betegség és műtét miatti hosszas lábadozás valamint kereső foglalkozásom (outsider vagyok nem főfoglalkozású kutató) is akadályozott célom mielőbbi elérésben, mindazonáltal most, az eredményt végre itt közreadhatom. Ezen biztosan lehet csiszolni. Lehet ezt bővíteni is és javítani is. (E 2. kiadás is ezt tükrözi.) Sőt! Másképp is fel lehet ezt az axiomatikus rendszert építeni — ez ma már egyrészt tudományos közhely, másrészt tapasztalható tény. Tény, ha összevetjük például az euklideszi és a Bolyai-Lobacsevszkij, valamint a Hilbert-féle geometriákat, mint axiomatikus rendszereket. Tény viszont az is, hogy az általam leírt modern könyvviteltannak ez az axiomatikus rendszere többé már nem kerülhető meg és nem hagyható figyelmen kívül, megítélésem szerint, sem az oktatásban, sem a tudományos kutatásban.
Tehát e pillanattal a könyvviteltan is átlépett az egzakt, egyértelmű és koherens terminusokkal valamint alaptételekkel megalapozott ún. bizonyító, deduktív tudományok közé. Ha 2300 évet késve is, de át! Ennek itt volt az ideje.
A könyvviteltan az n-szeres könyvvitelek axiomatikus rendszerének létrejöttével tehát egyfelől csatlakozott a modern, egzakt tudományok sorába, másfelől — hasonlóan például a fizikához, a kémiához, a pedagógiához, stb. — tárgyánál fogva végleg két alapvető tudományágra bomlott: az elméleti könyvvitel és az alkalmazott könyvvitel tanára, melyek ugyanakkor kölcsönösen össze is függnek egymással. Az elméleti könyvvitel tárgya: a tapasztalatokból elvont alaptételek segítségével a valósággal egyező általános és speciális könyvviteli törvények feltárása. A vagyonkönyvvitel elméleti ismereteit gyarapította például Paccioli (1494) az első könyvviteli leírással, L. Flori (1633) a perszonális számlaelmélet, Augspurg (1852), Hügli (1887), Shär (1888), Kuntner (1908) Niklisch (1911) a két-, Leitner (1909) és Le Coutre (1926) a három-, illetve Schmalenbach („Der Kontenrahmen”, 1927) és Burri (1940) a négy-számlasoros számlaelmélet, továbbá: Shär (1890) a zárt számlarendszer („Das geschlossene Kontensystem”), valamint Schmalenbach és Kosiol (1933) az úgynevezett dinamikus könyvviteli mérleg megalkotásával. Minden olyan ismeret pedig, ami az előbbieken kívül van az alkalmazott könyvvitel tárgyát képezi. Így az egyes nemzeti és ágazati, stb. sajátosságoknak, például a magyar számviteli törvény, vagy az amerikai számviteli sztenderdek szerinti könyvelés alapelveinek és szabályainak, valamint egyes konkrét gyakorlati könyvelési és mérleg- stb. megoldásoknak az ismertetése az alkalmazott könyvvitel tárgykörébe tartozik.
Végül fontos azt is leszögezni: az n-szeres könyvvitelek axiomatikus rendszerének elméletrendszere nem teszi használhatatlanná, érvénytelenné az eddigi könyvelési gyakorlatot. Ellenben e tudomány fejlődésén kívül, mind a menedzsment információigényének korszerű kielégítése, mind a könyvelőszoftverek ehhez igazodó érdemi továbbfejlesztése előtt megnyitja az utat.
E mű az azonos című könyv (438 oldal) harmadik fejezeteként (ez a könyv utolsó kb. 100 oldala) maga a tömény, bár középiskolás tudásszinttel is megérhető elméleti része a modern könyvviteltannak. Aki (népszerűsítő jelleggel is írt) további részletes magyarázatokat kíván, annak javasolom először az említett könyv első két részének az elolvasását – mely már az OSZK-n kívül a nagyobb egyetemi könyvtárakban és a Fővárosi Szabó Ervin Könyvtár fiókjaiban is magyar nyelven hozzáférhető.
Budapest, 2011. december 17.
Gulyás István
közgazdász
***
Az elméleti könyvvitel alapjai
Az n-szeres (n
1. A könyvvitel vagyonelméletének elemei
Princípiumok1.111 Az általános könyvvitel elméletének fogalmai
1.112 Az vagyonkönyvvitel vagyonelméletének fogalmai
1.121 A vagyon és más kronologikus halmazok axiómái
P.: 1./T1.
P.: 1./T
3,T4,T5,T7,T11,T12,T13,T14,T18,T19,T21,T23,T24,T29.P.: 1./T1.
P.: 1./T1, T
11, T16, T19, T28.P.: 1./T
11, T16, T27, T28.P.: 1./ T
1, T16, T17, T18.P.: 1./T
15, T17, T29.1.122 Az adósság axiómái
P.: 1./T
3, 3./T1, T3, T4.P.: 1./T
2, 3./T1, T3, T4.P.: 1./T
2.P.: 1./T
15, T17.1.123 Gazdasági és általános esemény-axiómák
P.: 1./T
15, T19.P.: 1./T
15, T19, T28.P.: 1./T
19, 2./T7.P.: 1./T
9, T19. 3./T6.P.: 1./T
1.2 A vagyonelmélet tételei és bizonyításuk
Fontos sajátja az itt következő vagyonelméleti tételek bizonyításának az, hogy ezekben — noha a könyvvitel vagyonelméletéről van szó — nem hivatkozom semmiféle könyvviteli szabályra. Ez ugyanis alapvető stratégiai célom a könyvvitel vagyonelméletének felépítésekor, mert csak így lehet meggyőzően kimutatni, hogy az anyagi helyzetet meghatározó fő tényezők, a vagyon és az adósság, illetve ezek időben végbemenő mennyiségi változásának jellege határozza meg a könyvvitel jellegét és nem fordítva, valamint azt, hogy a vagyon- és könyvvitelelmélet nem más, mint sajátos tárgyú matematika.
Sajátossága még e bizonyításoknak az is, hogy a vagyonosztályozások és a vagyonosztályokon értelmezhető függvények (a vagyon mennyisége, pénzértéke, ezek változása, stb.) egzisztenciájának biztosítása mellett, az elméletrendszer felépítésénél, a tételek megfogalmazásánál és bizonyításuk — néha aprólékos — módjánál a tudományos szabatosság iránti igénnyel egyenrangúak voltak a didaktikai megfontolások is. Ilyen didaktikai szempontok nélkül több tétel bizonyítása nyilvánvalóan lényegesen rövidebb és egyszerűbb lehetne.
Attribútum-osztályozások és az osztályaik tulajdonsága
1. Tétel: A t. időpontban (t=1,2,...) létező bruttóvagyon, illetve annak bármely eszközaspektusú statikus vagyonosztályában lévő része mennyiségét és pénzértékét (vagy más jellemzője mértékét) csak pozitív számmal fejezhetjük ki (formulával: V>0, avagy másképp jelölve: V
BR=A feltétel alapján a gazdálkodónak a leltár és/vagy a könyvek szerint a t-ik időpontban (t=1,2,...) van vagyona. E vagyontárgyak legyenek maradéktalanul besorolva eszközaspektus (avagy vagyonfajta) szerint az A6 axiómának megfelelően i különböző (i=1,2,..,n) statikus végső vagyonosztályba. Jelölje e bruttóvagyont alkotó javak osztatlan és nem üres halmazát (azaz az osztályozandó abszolút alaphalmazt) O, s az egyes vagyontárgyak fajtáinak — szintén nem üres — diszjunkt végső eszközosztályait O1,O2,…Oi,…On.
Most rendeljük az egyes végső vagyonosztályokhoz külön-külön, a t-ik időpontban a vagyonosztályokba sorolt vagyontárgyak qi mennyiségét és éi pénzértékét, mint e vagyonosztályozás osztályain értelmezett függvények értékét. Jelölje tehát a vagyontárgyak mennyiségét Oi függvényeként, vagyonfajtánként (azaz végső vagyonosztályonként) qi(Oi). E mennyiségek teljes összegét, a természetes mértékegységeiktől és a t időponttól elvonatkoztatva, jelölje:
q1(O1)+q2(O2)+…+qi(Oi)+…+qn(On)=
qi(Oi), míg az osztályozás mennyiség szerinti főösszegét O függvényeként
(O). A vagyonfajták azonos pénznemben beárazott mennyiségeinek értékét jelölje éi(Oi), s ezek összegét
é1(O1)+é2(O2)+…+éi(Oi)+…+én(On)=
éi(Oi), az érték szerinti főösszeget pedig
(O).
Jelölje még a javak egyes fajtáinak (átlagos) egységárát
p1(O1),p2(O2),…,p
i(Oi),…,pn(On).Azt kell tehát megmutatnunk, hogy
(4)
(O)=é1(O1)+…+éi(Oi)+…+én(On)=
qi(Oi)∙pi(Oi)=
éi(Oi)>0.
Mármost, az A
1 axióma szerint a nem üres eszközaspektusú i. végső vagyonosztályban (i=1,2,…,n) a t. időpontban létező vagyontárgyak mennyiségét kifejező qi(Oi) részösszeg csak pozitív szám lehet. De az i. osztályhoz tartozó pi(Oi) egységár szintén csak pozitív szám lehet (A3 axióma). Viszont ekkor a qi(Oi)∙pi(Oi)=éi(Oi) (i=1,2,…,n) szorzat is csak pozitív szám lehet, mert pozitív számok szorzata pozitív.Mindebből következik, hogy qi(Oi),pi(Oi),q
i(Oi)∙pi(Oi)=éi(Oi)>0 (i=1,2,…,n), valamint mert a pozitív számok összege pozitív, ezértTovábbá az A
4 axióma szerint: “Ha egy vagyonosztályozás páronként diszjunkt osztályain valamely mértékfüggvény (vagy annak pozitív együtthatós lineáris transzformáltja) értelmezett, akkor e függvény által a végső osztályokhoz rendelt részösszegek összege egyenlő az alaposztályhoz rendelt főösszeggel.” Ekkor igaz a következő két összefüggés:
(O)=q1(O1)+…+qi(Oi)+…+qn(On)=
q
valamint
(O)=é1(O1)+…+éi(Oi)+…+én(On)=
qi(Oi)∙pi(Oi)=
é
Ugyanakkor mert
(O)=
q
De ugyanerre jutunk, ha a qi(Oi)>0, illetve az éi(Oi)>0 pozitív számokat (i=1,2,…,n) összegezzük, mert pozitív számok összege pozitív, ezért:
(O)=q1(O1)+…+qi(Oi)+…+qn(On)=
q
(O)=é1(O1)+…+éi(Oi)+…+én(On)=
qi(Oi)∙pi(Oi)=
é
és így
(O)>0 és
(O)>0.
Mindebből pedig az (1), (2), (3) és (4) összefüggés, s általuk a tétel igaz volta adódik. Q.e.d.
P.: 1./T
2, T3, T4, T5, T6, T7, T8, T9, T11, T12, T14, T15, T16,T18, T19, T21, T22, T23, T24, T29, 3./T1
K.: 1./A
1, A3, A4, A6.
2. Tétel: Ha a t. időpontban (t=1,2,....) a gazdálkodónak van adóssága (idegen vagyona), akkor annak a bruttóvagyon forrásaspektusú statikus relatív alaposztályában, az idegenvagyon osztályban, illetve annak bármely alosztályában lévő mennyiségét és pénzértékét (vagy más jellemzője mértékét) csak pozitív számmal fejezhetjük ki (A=A1+A2+…+Aj+…+AN>0, ahol Aj>0, a különböző fajta adósságok egy végső statikus osztályának részösszege, minden j-re) (T2).
Legyen G
0 az a gazdálkodó, akinek a feltététel szerint — pl. a leltár alapján — a t. időpontban (t=1,2,..) van adóssága. Jelölje adóssága mértékét (azaz a statikus adósságosztály főösszegét) — jelölésben elvonatkoztatva most is a t. időponttól — A0.Mutassuk meg, hogy A
0>0.Minthogy a G0 gazdálkodónak van adóssága, ezért szükségképpen van neki hitelezője A
9 szerint. Legyen ez a hitelező, pl. most egyedül a G1 gazdálkodó, akinek tartozik A0-al G0. Mivel G1 hitelezője G0-nak, ezért G1-nek (azonos dimenzióban számszerűsítve) az A0 adóssággal megegyező mértékű (K1=A0) elismert K1 követelése kell legyen G0-al szemben. Az A10 szerint ugyanis az adós adóssága egyenlő hitelezőjének (vagy hitelezőinek) vele szemben fennálló összes, elismert követelésével. Tehát G1 bruttóvagyonának (V1) egy része, vagy egésze a G0-al szembeni követelés (K1) formájában ölt testet (A10), azaz fennáll: K1£ V1 (ld. T2 ábra).
Ámde a T
1 tételből tudjuk, hogy a t. időpontban létező bruttóvagyon és az eszközaspektusú statikus vagyonosztályaiba tartozó részeinek mennyisége, illetve pénzértéke csak pozitív számmal fejezhető ki, következésképpen G1 bruttóvagyona V1>0, és ez vonatkozik e vagyon bármely eszközaspektusú nem üres vagyonosztálya részösszegére, így a követelésére is. Azaz: K1>0 is igaz. Mivel K1>0 és K1=A0, ezért ebből közvetlenül folyik A0>0 volta.Azonos gondolatmenet alapján megmutatható, hogy a pozitivitás fennáll az A0 adósság minden nem üres végső osztályába tartozó adósságfajták részösszegeire is, azaz: A0,1+..+A0,j+..+A0,N=A0>0, ahol A0,j>0 egy a végső és nem üres statikus
adósságosztály részösszegei közül.Q.e.d.
P.: 1./T
3, T4, T5, T11, T12, T13, T14, T15, T21, T29.K.: 1./A
9, A10, T1.
3. Tétel. Lemma: A gazdálkodó vagyonának nagyságát jelölje V, adósságának előbbivel azonos mértékegységben kifejezett nagyságát jelölje A. Ekkor a V-A különbség a t. időpontban (t=1,2,....) lehet nagyobb vagy kisebb, mint nulla, vagy egyenlő nullával, azaz: V-A
0 (T3).
A t. időpontban (t=1,2,...) a gazdálkodó bruttó vagyonának nagyságát (azaz: eszközaspektusú statikus vagyonosztályozásának főösszegét) jelölje a V változó (V³
0 T1 és A2 szerint). Ugyancsak a t. időpontban, a gazdálkodó V-vel azonos dimenzióban számszerűsített adósságának nagyságát (azaz: az adósság statikus relatív alaposztálya főösszegét) jelölje az A változó (A³
0 T2 és A2 szerint) — a jelölésben elvonatkoztatva t-től. E jelölésekkel a tételt felírva, azt kell megmutatni, hogy a t. időpontban: V-A
0.
A V³
0 és az A³
0 számokkal kifejezett vagyon illetve adósság nagyságára A8 szerint igaz, hogy vagy V>A vagy V=A vagy V<A, azaz együtt: V
A.
Most e reláció mindkét oldalából A-t elvéve közvetlenül folyik, hogy a V-A
0 formulával felírt tétel igaz.
Q.e.d.
P.: 1./T4, T29.
K.: 1./A2, A8, T1, T2.
4. Tétel: A t. időpontban (t=1,2,....) adott nettó vagyon mértéke, mint a nem negatív bruttóvagyon forrásaspektusú relatív alaposztályának főösszege bármilyen előjelű szám lehet (V
NELegyen V
NE=VS a gazdálkodó nettó (vagy saját) vagyonának, V (V³ 0; T1,A2) a bruttóvagyonának, A pedig (A³ 0; T2,A2) az adósságának nagyságát a t. időpontban (t=1,2,...) azonos mértékegységben kifejező változó. Azt kell megmutatnunk, hogy a t. időpontban VNE=VSMármost T
3 szerint V-AQ.e.d.
Megjegyzés: Ha valamely t. időpontban V
NE=VS=0, akkor a hozzá tartozó OS sajátvagyon osztály üres (A2 szerint) és nyilván VBR=VI. Viszont ha VS>0, akkor van(nak) OS–nek eleme(i) a t. időpontban, ez(ek) a vagyon forrásaspektus szerint osztályozott eme részében lévő vagyontárgy(ak). Ha pedig a t. időpontban VS<0, akkor OS eleme(i) a VBR nagyságú bruttóvagyonból a t. időpontban hiányzó azon vagyontárgy(ak) – e hiányzó rész nagyságát jelölje D VBR -, melyek a VI nagyságú adósság megfizetéséhez még kellenek a VBR vagyonmennyiségen felül. Azaz: ha D VBR=-VS, akkor nyilván VBR+D VBR=VI. Éppen e vagyonhiányt érzékelteti ekkor a VS<0, a vonatkozó definíció szerint.P.: 1./T
5.K.: 1./A
2, T1, T2, T3
5. Tétel: A t. időpontban (t=1,2,....) a nem negatív bruttóvagyon forrásaspektusú felosztásával keletkező két statikus alosztály közül a saját vagyonosztály főösszege bármilyen előjelű szám lehet (V
SBármely t. időpontban (t=1,2,..) a bruttóvagyon nagyságát kifejező VBR és az adósság (másképp: az idegen vagyon) nagyságát kifejező VI változó értéke nem-negatív (T1, T2, A2 szerint). Ha a VBR bruttóvagyonból kivonjuk a VI adósságot, akkor a VNE=VS nagyságú nettó- illetve saját vagyont kapjuk (T4 szerint) — szintén a t. időpontban. Azaz írhatjuk:
(1) VBR-VI=VS, majd ezt átrendezve, hogy:
(2) VBR=VS+VI.
Először azt kell megmutatni, hogy VS+VI³ 0 bármely t. időpontban.
Minthogy VBR³ 0 bármely t. időpontban (T1 és A2 szerint), ezért írható, hogy
(3) VBR=VS+VI³ 0 — bármely t. időpontban.
Ez után azt kell megmutatni, hogy VS
0 és VI³
0 miközben a feltétel és (3) szerint VBR=VS+VI³
0 (bármely t. időpontban).
Mivel VS=VNE
0 és (1) szerint VBR-VI=VS, ezért írhatjuk azt, hogy
(4) VBR-VI=VS
0, azaz
(5) VBR-VI
0, vagyis: (6) VBR
VI, miközben VBR³
0 és VI³
0 igaz (bármely t. időpontban).
Az A8 axiómából pedig tudjuk, hogy vagy (a) VBR>VI vagy (b) VBR=VI vagy (c) VBR<VI miközben mindkettő nem-negatív. Következésképpen (4), (5) és (6) igaz (3) mellett úgy, hogy (a), (b) és (c) is igaz, hiszen VBR–nak és VI-nek nincs felső korlátja, azaz bármilyen nagy számok lehetnek, csak a 0 alsó korlátjuk létezik. Ezért pl. ha VBR=0 akkor VI=-VS (miközben VI³ 0) vagyis ekkor a saját vagyon abszolút értékben azonos az idegen vagyonnal, de VS≤0.
Tehát igaz, hogy VS
0 és VI³
0 miközben VBR=VS+VI³
0 (bármely t. időpontban).
Q.e.d.
P.: 1./T11, T15, T29.
K.: 1./A2, A8, T1, T2, T4.
6. Tétel: A t. időpontban (t=1,2,…) a nettó vagyon induló, ill. jegyzett tőke nevű forrásaspektusú statikus végső osztályába tartozó tőke összege (T) csak pozitív szám lehet. (T>0) (T6).
Jelölje a nettó vagyon kezdőtőke osztályának részösszegét T. Azt kell megmutatnunk, hogy T>0.
A kezdőtőke összege a definíció szerint azt mutatja, hogy a gazdálkodás kezdő időpontjában, illetve e tőkefajta módosításakor mekkora a gazdálkodó végleg – pénzben vagy bármely más vagyontárgy formájában — gazdaságába befektetett vagyona.
A gazdálkodó fektessen be hát gazdaságába pl. pénzt és egy ingatlant a gazdálkodása kezdetén, mint a kezdő vagyon tárgyait. Jelölje ennek az eszközaspektus szerinti kezdő vagyonnak a teljes nagyságát V. Ugyanakkor a kezdőtőke definíciója szerint fennáll: T=V (T és V mértékegysége azonos). De a T
1 értelmében V>0, így T=V>0, s ezért T>0.A módosított kezdőtőke értékét jelölje T’.
Tőkeemelés esetén a bevitt többletvagyon nagysága: D V>0 (T
1). A tőketöbbletet jelölje D T. A kezdőtőke definíciója szerint D T=D V, viszont D T=D V>0 (T1 értelmében), ezért D T>0. (D T és D V mértékegységeik azonosak). Az emelt kezdőtőke értéke T’=T+D T. De T>0 és D T>0, tehát T’>0.Tőkeleszállításnál legyen T’=T-D T, ahol D T a T-nél kisebb, de nullánál nagyobb (0<D V=D T<T) vagyonnal egyenlő tőkenagyság (T
1), mellyel leszállítjuk (azaz csökkentjük) T összegét.Így D T-D T<T-D T, ezért: 0<T-D T=T’ és így 0<T’.
Igaz hát, hogy T,T’>0.
Q.e.d.
P.: 1./T
11, T12, T14.K.: 1./T
1.
7. Tétel: A t. időpontban (t=1,2,....) a nettó vagyon tőketartalék nevű statikus osztályához tartozó részösszeg (T
R) csak nulla vagy nullánál nagyobb szám lehet. (TR³ 0) (T7).A tőketartalék összegét jelölje TR. Azt kell megmutatnunk, hogy TR³ 0.
Ez a tőkeösszeg a definíció szerint azt mutatja meg, hogy a gazdaság tulajdonosa(i) vagy mások, mikor és mekkora további vagyont vont(ak) be véglegesen a gazdálkodásba, vagy vontak ki végleg a gazdálkodásból — az alaptőkén felül.
Legyen a tartalékba helyezett vagyontárgy pénz és/vagy más dolog. Jelölje ezt a t. időpontban (t=1,2,...) tartalék címén bevont eszközaspektusú bruttóvagyonrész mértékét VR. A definíció szerint tehát TR=VR (TR és VR egyneműek). De a T1 tétel szerint VR>0, ha van bevont vagyon. Ekkor tehát írható: TR=VR>0, ezért fennáll: TR>0.
Viszont, ha még nincs — vagy már nincs — bevont, tartaléknak szánt vagyon, azaz az osztály üres, akkor TR=VR=0 (A2).
Q.e.d.
P.: 1./T7/C, T11, T12, T14.
K.: 1./A2, T1.
Corollárium: E tételből nyilvánvaló, hogy a TR>0 tőketartalékot tartalmazó forrás aspektusú statikus vagyonosztály közbülső és végső osztályainak fő- illetve részösszegei is pozitív számok. Képlettel: TR=TR1+TR2+…=(TR11+ …+TR1i+…)+(TR21+ …+TR2j+…)+…>0, ahol TR1i ,TR2j>0 a különböző fajta tőketartalékok egy-egy végső statikus osztályának részösszegei, minden i-re és j-re.
Q.e.d.
P.:
K.: 1./T
7.8. Tétel: A t. időpontban (t=1,2,....) a nettó vagyon statikus halmozott eredményosztályának statikus halmozott hozamalosztályához tartozó részösszeget, mint a t. időpontban létező halmozott hozam mennyiségét és pénzértékét (vagy más jellemzője mértékét) csak pozitív számmal fejezhetjük ki (H>0) (T8).
A gazdálkodó, a t-ik időponttal bezárólag (t=1,2,...) érjen el H mértékű hozamot. Azt kell megmutatnunk, hogy ekkor H>0.
A H (halmozott) hozam alatt — a definíció szerint — a gazdálkodás (0;t] időszakában (t=1,2,...) elért sajátvagyonnövekmény értendő — nem értve ide a kezdőtőke és/vagy a tőketartalék növekményét. E sajátvagyon növekmény testet ölthet bármely pénzbevétel, kapott áru és/vagy szolgáltatás (barterügyletként is), vagy elismert követelés, továbbá a vagyon természetes szaporulata illetve adósság-elengedés formájában. Ez a sajátvagyonnövekmény — a t. időpontban — azonos a sajátvagyon nevű statikus relatív alaposztály halmozott hozam nevű végső osztályának részösszegével.
Öltsön tehát testet ez a sajátvagyontöbblet — egy gazdasági esemény kapcsán —, mondjuk azonnali készpénzbevétel formájában, s jelölje e pénz mennyiségét B. Ekkor a definíció alapján H=B (H és B egyneműek). De T1 alapján a vagyon és bármely részének mennyisége/értéke csak pozitív szám lehet. B, mint készpénztöbblet (készpénznövekmény), szintén az eszközaspektusból tekintett vagyon része, tehát B>0 (T1). Következésképpen írható, hogy B=H>0.
Hasonlóképp lehet megmutatni, hogy, ha a hozam pl. követelésben (melyet csak esedékességkor egyenlítenek majd ki), vagy G0 adóssága elengedésével sajátvagyonává váló eszközökben, vagy — barterügylet eredményeként — áruban, avagy szolgáltatásban, stb. ölt testet, a tétel akkor is igaz.
Q.e.d.
P.: 1./T8/C, T11, T12, T14.
K.: 1./T1.
Corollárium: E tételből nyilvánvaló, hogy a H>0 hozamot tartalmazó forrás aspektusú nem üres statikus vagyonosztály közbülső és végső osztályainak fő- illetve részösszegei is pozitív számok. Képlettel: H=H1+H2+…=(H11+ …+H1i+…)+(H21+ …+H2j+…)+…>0, ahol H1i ,H2j>0 a különböző fajta hozamok egy-egy nem üres végső statikus osztályának részösszegei.
Q.e.d.
P.:
K.: 1./T
8.9. Tétel: A t. időpontban (t=1,2,....) a nettó vagyon statikus eredményosztályának statikus ráfordítás (költség) nevű alosztályához tartozó részösszeget, mint a t. időpontban létező ráfordítás (költség) mennyiségét és pénzértékét (vagy más jellemzője mértékét) csak negatív számmal fejezhetjük ki (R<0) (T9).
A gazdálkodó gazdaságában, a t-ik időpontig bezárólag (t=1,2,...) bekövetkezett gazdasági esemény(ek) kapcsán, keletkezzen R számértékű ráfordítás (költség). Azt kell megmutatnunk, hogy a nem üres ráfordításosztályhoz tartozó R részösszeg kisebb, mint nulla (R<0).
A t. időpontban (t=1,2,...) létező R számértékű ráfordítás (költség) alatt — definíciója szerint — a gazdálkodás (0;t] időszakában bekövetkezett sajátvagyoncsökkenés értendő — nem értve ide a kezdőtőke és/vagy a tőketartalékok csökkenését. E sajátvagyoncsökkenés — azon belül a veszteség növekedése — testet ölthet bármely eszközfelhasználás, végleges pénzkiadás, adott áru, teljesített szolgáltatás, keletkezett kötelezettség, valamint a vagyon természetes fogyása illetve követelés elengedése formájában. Ez a sajátvagyoncsökkenés azonos a sajátvagyon nevű relatív alaposztály ráfordítás (költség) nevű végső osztályának részösszegével — a t. időpontban.
Most a sajátvagyoncsökkenés öltsön testet például valamely igénybevett szolgáltatás ellenértékének megfizetéseként jelentkező azonnali készpénzkiadás formájában — mely az A15 axióma szerint csökkenti a létező P' pénzkészletet. De P'>0 a T1 tétel alapján. Ámde, ha a ráfordítás valamely P'-nél nem nagyobb P>0 (T1) pénzadag kiadását jelenti, akkor P-t le kell vonni (el kell venni) P'-ből. Következésképp e pénzkiadás mint negatív szám csökkenti a pozitív előjelű P' pénzkészletet (az A15 axióma szerint). Ezért jelölje e kiadott készpénzmennyiséget -P, amely a ráfordítás említett definíciója szerint egyenlő R-el, azaz fennáll R=-P (R és P azonos mértékegységű). Viszont -P<0, következésképp: R=-P<0, azaz -P=R<0.
Hasonlóképp meg lehet mutatni: ha a ráfordítás (költség) más vagyontárgyban — pl. barterügylet eredményeként — átadott áruban vagy teljesített szolgáltatásban, avagy a gazdálkodó által elengedett, mással szembeni követelésben ölt testet, vagy később esedékes adó- vagy bérfizetési kötelezettséget, stb. kiegyenlítő kiadásban, a tétel akkor is igaz.
Q.e.d.
P.: 1./T8/C, T10, T11, T12.
K.: 1./A15, T1.
Corollárium: E tételből nyilvánvaló, hogy a R<0 ráfordítást tartalmazó forrás aspektusú statikus nem üres vagyonosztály közbülső és végső osztályainak fő- illetve részösszegei is negatív számok. Képlettel: R=R1+R2+…=(R11+ …+R1i+…)+(R21+ …+R2j+…)+…<0, ahol R1i ,R2j<0 a különböző fajta ráfordítások egy-egy végső statikus nem üres osztályának részösszegei, minden i-re és j-re (T9/C).
Q.e.d.
P.:
K.: T
9.10. Tétel: Ha a t. időpontban (t=1,2,....,) a halmozott ill. a folyóidőszaki hozam kisebb, mint a vele egynemű halmozott ill. folyóidőszaki ráfordítás abszolút értéke, akkor a t. időpontban létező halmozott ill. folyóidőszaki bruttó eredmény neve veszteség (E<0), ha nagyobb, akkor nyereség (E>0) - értelemszerűen mindkettő halmozott ill. folyóidőszaki (T10).
Jelölje H a halmozott ill. a folyóidőszaki hozam mértékét, R a hozammal egynemű halmozott ill. folyóidőszaki ráfordításét, |R| az előbbi abszolút értékét, E pedig a halmozott ill. folyóidőszaki eredmény, előbbiekkel egyneműen kifejezett számértékét a t-ik időpontban (t=1,2,...). A továbbiakban az egyszerűség érdekében, akár halmozott, akár folyóidőszaki értékről van szó, csak hozamot, ráfordítást és eredményt említek, melyek mindig azonos időszakra vonatkoznak — a halmozott vagy a folyóidőszaki jelző nélkül — ez megtehető.
Azt kell tehát megmutatni, hogy
Az a) eset feltétele szerint: H<|R|. De H-|R|<|R|-|R|, viszont |R|-|R|=0 és ezért H-|R|<0. Ugyanakkor T9 szerint R<0 és ezért |R|=-R. Így írhatjuk, hogy: H-|R|=H-(-R)=H+R<0.
Mármost a halmozott és folyóidőszaki eredmény definíciója és a bevezetett jelölések értelmében H+R=E, ezért a H+R<0 bal oldalára E írható, s így: E<0. Ebből viszont az időszaki veszteség definíciója alapján folyik, hogy az E<0 halmozott ill. folyóidőszaki eredmény neve halmozott ill. folyóidőszaki veszteség.
A b) eset feltétele szerint H>|R|. De ekkor elegendő, ha az a) esetbeli levezetés minden lépésében és a végeredményében kisebbről nagyobbra váltjuk a reláció jelét. Így azonnal adódik: E>0. Ebből viszont az időszaki nyereség definíciója alapján közvetlenül folyik, hogy az E>0 halmozott ill. folyóidőszaki eredmény neve halmozott ill. folyóidőszaki nyereség.
Q.e.d.
P.: 1./T10/C.
K.: 1./T9.
Corollárium: E tételből nyilvánvaló, hogy a t. időpontban (t=1,2,....,) a halmozott ill. a folyóidőszaki eredmény (E) bármely előjelű szám lehet (E
0) (T10/C).
Q.e.d.
P.:
K.: 1./T
10.11. Tétel: A bruttóvagyon vagy valamely része eszköz vagy forrás aspektus szerinti statikus vagyonosztályához a t. időpontban (t=1,2,...) tartozó fő- ill. részösszeg egyenlő e vagyont (illetve vagyonrészt) eredményező (0;t] időintervallumbeli vagyonváltozások időosztályaihoz tartozó részösszegek összegével, amely csak nem negatív szám lehet, kivéve a sajátvagyon- és az eredményosztály részösszegét, mely bármilyen előjelű szám, valamint a ráfordításosztály részösszegét, amely csak nem pozitív szám lehet (T11).
Jelöljön O egy eszköz vagy forrás aspektus szerinti statikus vagyonosztályt a t=M időpontban (t,M=1,2,...). Jelölje V azt a vagyonváltozások-osztályt a (0;M] időintervallumban, amely a (0;M] időintervallumban bekövetkezett vagyonváltozások révén az M. időpontban az O osztályban lévő vagyont (vagy vagyonhiányt) eredményezte.
Ugyanakkor jelölje VM(O) az O statikus vagyonosztályához a M. időpontban tartozó fő- ill. részösszeget, továbbá jelölje V(0,M](V) a V vagyonváltozások osztályának a VM(O) összeggel azonos mérték szerint kifejezett főösszegét, I(t) pedig a V változásosztály valamely dinamikus időosztálya részösszegét. E jelölésekkel felírva igaz: V(0,M](V)=
I(t) (A4). Ekkor a tétel formulája a következő:
VM(O)=V(0,M](V)=
I(t)³
0 (t,M=1,2,...) kivéve a sajátvagyon, az eredmény és a ráfordítás esetét. Ezt kell megmutatni.
Mármost fennáll
(1/a) VM(O)³ 0 T1,T2,T6,T7,T8 és A2 alapján, ha O nem a sajátvagyon, az eredmény vagy a ráfordítások osztálya, különben:
(1/b) VM(O)
0 T5 és T10/C alapján, ha O a sajátvagyon vagy az eredmény osztálya, valamint
(1/c) VM(O)£ 0 T9 és A2 alapján, ha O a ráfordítás osztálya.
Ez a VM(O) összeg a (0;M] időintervallumbeli azonos dimenziójú vagyonváltozások algebrai összegeként jött létre, tehát A5 szerint fennáll
(2) VM(O)=V(0,M](V)=
I(t) és (t,M=1,2,...).
Viszont az egyenlők felcserélhetők és ezért az (1/a), (1/b), (1/c) egyenlőtlenségeket és azok baloldalát írhatjuk így is:
(3/a) VM(O)=V(0,M](V)=
I(t)³
0 (t,M=1,2,...), valamint a sajátvagyon vagy az eredmény osztály esetén:
(3/b) VM(O)=V(0,M](V)=
I(t)
0 (t,M=1,2,...), továbbá ráfordításosztálynál
(3/c) VM(O)=V(0,M](V)=
I(t)£
0 (t,M=1,2,...), ahol (3/b) és (3/c) esetében T5, T9 és T10/C szerint csak a relációjelben van különbség.
Q.e.d.
P.: 1./T11/C1, T11/C2, T12, T14.
K.: 1./A2, A4, A5, T1, T2, T5, T6, T7, T8, T9.
Corollárium 1: E tételből nyilvánvaló, hogy bármilyen aspektusú statikus vagyonosztályozás valamely osztályának fő- ill. részösszege bármilyen előjelű szám lehet, ha az elemei azonosak a sajátvagyon- vagy az eredményosztály elemeivel, ha pedig a ráfordításosztály elemeivel azonosak, akkor csak nem pozitív szám lehet. Ha viszont a statikus vagyonosztályozás eszközjellegű vagy forrásjellegű, de azon belül az idegenvagyon osztály (vagy annak bármely alosztálya) elemeivel azonosak a vagyonosztály elemei, akkor annak fő- ill. részösszege csak nem negatív szám lehet.
Q.e.d.
P.: 1./T
12.K.: 1./T
11.Corollárium 2: E tételből nyilvánvaló, hogy ha a (0;M] időintervallum
Vt időosztályaihoz (t=1,2,...,M) tartozó I(t,Vt) részösszegekből egyértelműen következik az M-ik időponthoz tartozó OM statikus vagyonosztály V(t,OM) értéke, de V(t,OM) értékéből nem következik egyértelműen az egyes I(t,Vt)-k értéke. Ám ez az összefüggés igaz V(t,OM)-ra és statikus alosztályainak részösszegeire is.Q.e.d.
P.:
K.: 1./T
11.12. Tétel. Lemma: Ha a t=M időpontban valamely statikus vagyonosztály fő- vagy részösszege nem negatív (avagy nem pozitív), akkor az osztályba tartozó vagyont (vagyonhiányt) eredményező (0,M] időintervallumbeli vagyonváltozások első t (t=1,2,..,M) időosztályához tartozó részösszegek összege is az (T12.L.).
Legyen OS a feltétel szerinti statikus vagyonosztály, s a t=M időpontban (M egész) legyen nem üres vagy üres. Jelölje Vt(OS)=VM(OS) az OS osztályhoz tartozó fő- vagy részösszeget a t=M időpontban. Először (I.) legyen VM(OS)>0, ha OS a t=M időpontban nem üres (T1, T2, T6, T7, T8, T11/C1) majd VM(OS)=0, ha OS akkor épp üres (A2). Ezt a két esetet egy relációjellel kifejezve: VM(OS)³ 0. Másodszor (II.) vizsgálandó a tétel VM(OS)£ 0 mellett (T9, T11/C1, A2). A feltétel szerint ugyanis ez a két helyzet állhat fenn.
(I.) Az OS-t eredményező a (0,M] időintervallumbeli OV vagyonváltozások osztályát osszuk fel M darab időosztályra. A t. időosztály részösszegét jelölje I(t), ahol t=1,2,..,K,...,M (K is egész). Legyen továbbá VK(OV) az OV vagyonváltozás-osztály első K időosztályához tartozó K darab részösszeg összege, képletben: VK(OV)=
I(t), ahol 1≤K≤M.
A jelöléseket felhasználva, azt állítom:
(1) Ha VM(OS)³
0, akkor VK(OV)=
I(t)³
0, ahol 1≤K≤M.
K=M esetén a tételbeli állítás nyilván a feltétel és T11 szerint igaz, azaz: VM(OV)=
I(t)³
0.
Ezért a tételt még az 1≤K≤M-1 esetekre kell bizonyítani.
Tehát azt állítom:
(2) Ha VM(OS)³
0, akkor VK(OV)=
I(t)³
0 és (1≤K≤M-1).
Ha ugyanis (2) nem áll fenn, akkor
(3) VM(OS)³
0 mellett VK(OV)=
I(t)<0, ha 1≤K≤M-1.
Ámde T11 szerint VM(OV)=
I(t)³
0, ha t=1,2,...,K,...,M-1,M. Azaz, ha t=K, akkor igaz:
(4) VK(OV)=
I(t)³
0, ahol 1≤K≤M-1.
Viszont így VK(OV)-ra két érték adódik:
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 lehetséges. Egy állítás és az ellenkezője egyszerre nem lehet igaz. Mivel a (4) szerinti állítás a bebizonyított T11 tételnek felel meg, így az az igaz, s csakis a (3) szerinti, a T11 tétellel ellentétes állítás a hamis.
(II.) Könnyen belátható, hogy a tétel VM(OS)£ 0 mellett (T9) ugyanígy igazolható, csak az egyenlőtlenségjelek irányát kell megfordítani.
Q.e.d.
P.: 1./T12/C, T14.
K.: 1./A2, T1, T2, T6, T7, T8, T9, T11, T11/C1.
Corollárium: E tételből nyilvánvaló, hogy ha valamely kumulált részösszegű vagyonosztályozás egyik részösszege nem negatív (vagy nem pozitív) akkor a többi részösszege is az (T12/C).
P.:
K.: 1./T12.
13. Tétel: Ha a t. időpontban (t=1,2,..) valamely statikus vagyonosztály fő- illetve részösszege nem nulla, akkor a statikus vagyonosztály nem üres (T13).
Jelölje V(O) a t. időpontban (t=1,2,..) valamely statikus O vagyonosztály fő- illetve részösszegét. A feltétel szerint ekkor V(O)¹ 0. Állítom: ha V(O)¹ 0, akkor O nem üres — azaz: van benne legalább egy vagyontárgy. Ha ugyanis O üres, amikor V(O)¹ 0, akkor az ellentmond az A2 axiómának, mely szerint “ha a t. időpontban (t=1,2,...) valamely statikus vagyonosztály üres, akkor és csak akkor e vagyonosztályhoz a t. időpontban tartozó vagyon mennyiségét vagy pénzbeli értékét (vagy más lineáris transzformáltja mértékét) kifejező rész- vagy főösszeg nulla.” Tehát O nem lehet üres, ha V(O)¹ 0.
Q.e.d.
P.:
K.: 1./A
2.14. Tétel: A t=M időpontban (t,M=1,2,…) létező, nem negatív nagyságú bruttóvagyont, vagy annak valamely statikus osztályában lévő nem negatív nagyságú részét eredményező (0;M] időintervallumbeli vagyonváltozások osztályozás bármely I(t) részösszege, ha 1≤t≤M, lehet nagyobb, mint nulla, vagy egyenlő nullával. Míg ha 2≤t≤M, akkor bármely I(t) részösszeg lehet kisebb nullánál, feltéve, hogy abszolút értéke nem nagyobb, mint az első t-1 részösszeg összege (T14).
A t=M időpontban (t,M=1,2,..) létező vagy akkor már (vagy még) nem létező bruttóvagyon vagy annak bármely statikus osztályában lévő része nagyságát jelölje V
BR(t)=VBR(M), mint fő- vagy részösszeg. VBR(M)>0, ha a vagyon vagy az adott része a t=M időpontban létezik (T1, T2, T6, T7, T8) és VBR(M)=0, ha akkor nem létezik (A2). Együtt: VBR(M)³ 0. E vagyont vagy részét eredményező dinamikus vagyonosztályozás főösszegét jelölje V(M).E jelölésekkel és T1, T
2, T6, T7, T8 és T11 valamint A2 alapján írhatjuk, hogy(A) V
BR(M)=V(M)=Azt kell megmutatnunk, hogy miközben (A) igaz, aközben bármely K. időosztály részösszege lehet
(B) I(K)³ 0, ha 1≤K≤M, illetve lehet
(C) I(K)<0, ha 2≤K≤M feltéve, hogy |I(K)|≤V(K-1), ahol V(K-1) az I(K)-t megelőző első K-1 időosztály részösszegeinek az összege, melyre fennáll:
V(K-1)=
I(t)³
0 a T12.L. alapján.
A (B) I(K)³ 0 (1≤K≤M) nem mond ellent a T1, T
2, T6, T7, T8, T11 tételeknek és A2-nek, vagyis a feltételnek is megfelelő (A) VBR(M)=Most még a (C)-t kell igazolni.
Először a (C) esettel ellentétben tegyük fel, hogy I(K)<0 lehet akkor, ha 1≤K≤M. Legyen pl. mindjárt I(1)<0. Ámde ekkor a bruttóvagyonnak vagy részének rögtön az első időosztályához tartozó részösszege negatív, miközben (A) igaz, ami lehetetlen, mert a T
12.L. szerint ekkor I(1)³ 0 lehet csak.Megjegyzem, hogy ez az eredmény összhangban van azzal a szemléletes megállapítással, hogy: ha I(1)<0 igaz, akkor ez azt jelenti, hogy pl. vagyon vagy adósság esetén a semmiből veszünk el valamit, ami képtelenség. Tehát: az I(K) részösszegek bármelyike nem lehet negatív, illetve a negatívitás nem kezdődhet K=1-el, csak K=2-től, feltéve, hogy I(1)>0 és I(1)≥|I(2)| ha I(2)<0.
Másodszor tegyük fel, hogy (C) ellenkezője (C’) igaz akként, hogy
(C’) I(K)<0 lehet, ha 2≤K≤M feltéve, hogy |I(K)|>V(K-1) fennáll.
Mármost |I(K)|=-I(K), mert I(K)<0.
Így (C’)-ben |I(K)|=-I(K)>V(K-1). Most adjunk -I(K)>V(K-1) mindkét oldalához
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 részösszeg összegével V(K)-val.
A V(K)-ra nézve viszont fennáll:
(E) V(K)=
I(t)³
0 (2≤K≤M) T12.L. miatt. Behelyettesítve (E)-t (D) jobb oldalába azt kapjuk:
(F) 0>V(K-1)+I(K)=V(K)=
I(t)³
0 (2≤K≤M). Ámde (F) ellentmondást jelez, mert 0>V(K)=
I(t)³
0 (2≤K≤M), azaz
(G) 0>V(K)³ 0 (2≤K≤M).
Szavakkal: V(K) egyszerre kisebb nullánál, meg nem kisebb, ami nyilvánvalóan ellentmondás. Mivel a következtetésben nem volt hiba és mégis ellentmondásra jutottunk, ezért minden kétséget kizáróan (C’) feltevésünk hamis. Következésképpen az eredeti (C) állításunk igaz.
Tehát igazoltuk, hogy mind az (A), mind a (B), mind a (C) állításunk helyes, s így a tétel is igaz.
Q.e.d.
P.: 1./T14/C.
K.: 1./A
2, T1, T2, T6, T7, T8, T11, T12.L.Corollárium: E tételből nyilvánvaló, hogy ha a t=M időpontban nem pozitív részösszegű statikus vagyonosztályt eredményező (0,M] időintervallumbeli vagyonváltozások időaspektusú vagyonosztályozásának bármely I(t) részösszege (1≤t≤M) lehet kisebb, mint nulla, vagy egyenlő nullával. Míg ha 2≤t≤M, akkor bármely I(t) részösszeg lehet nagyobb nullánál, feltéve, hogy értéke nem nagyobb, mint az első t-1 részösszeg összegének abszolút értéke (T
14/C).P.:
K.: 1./T14.
15. Tétel: A magára hagyott vagyonnal vagy részével összefüggő saját vagyon(rész) mennyisége/értéke az idő múlásával - mintegy automatikusan - tart a mínusz végtelenhez (T15).
Jelölje a bruttóvagyon nagyságát V
BR (VBR>0; T1), az adósságét/idegenvagyonét VI (VI>0; T2). A saját vagyon nagyságát pedig jelölje VS (VS=VBR-VI a vonatkozó definíció szerint) és VSMármost az A
7 axióma szerint, ha a gazdálkodó valamely tmh (ahol tmh=1,2,...) időpontban magára hagyja a vagyonát vagy annak bármely részét, akkor annak nagysága és pénzértéke, de legalábbis a pénzértéke (vagy más lineáris transzformáltjának mértéke)(A13) — a természeti vagy társadalmi, vagy gazdasági környezet által kiváltott gazdasági események hatására (A12) — az idő múlásával monoton csökkenve tart a nullához.Továbbá, az A11 axióma szerint: ha a gazdálkodó valamely t
mh időpontban magára hagyja a vagyonát vagy annak bármely részét, akkor a gazdálkodó adósságának mértéke — a természeti vagy társadalmi, vagy gazdasági környezet által kiváltott gazdasági események hatására (A12) — az idő múlásával monoton növekedve tart a plusz végtelenhez.A7 és A11 axiómák által megszabott ellentétes monotonitásokból következik, hogy az idő múlásával lesz egyetlen olyan tN (t
mh£ tN) időpont, amelytől kezdve, vagy amely után a VS=VBR-VI különbség, azaz a saját vagyon negatív és negatívitása — az idő múlásával — monoton nő, azaz VS tart a mínusz végtelenhez (VS ® -¥ ). (Több tN időpont létezése az A7 és A11 axióma által szabott ellentétes tendenciájú monotonitások miatt kizárt.)Q.e.d.
P.: 1./T15/C.
K.: 1./A7, A11, A12, A13, T1, T2, T5.
Corollárium: A gazdálkodó anyagi helyzete és annak minden tényezője a gazdálkodás abbahagyása esetén is időben változik (T15/C).
Q.e.d.
P.: 1./T29.
K.: 1./T
A vagyon szerkezeti törvényei és a vagyonosztályozási rendszerek
≥0, azaz: ha a (0,t] időintervallumbeli bruttóvagyon-változások alaposztályát és/vagy annak t. időpontbeli (t=1,2,…) egyenlegosztályát n-féleképpen (n³ 2), azaz tetszőleges, de különböző A1,A2,..,An vagyonaspektus szerint osztályozzuk, vagy egy An+1 aspektusú vagyonosztályozásával kiegészítjük, akkor e vagyonosztályozási rendszer osztályozásainak szerkezete különböző, míg az egymással azonos dimenziójú főösszegei mind egyenlők (T16).Jelöljük a (0,t] időintervallumban történt bruttóvagyon-változások alaposztálya és/vagy annak a t. időponthoz tartozó egyenlegosztálya tetszőleges A1,A2,...,Ai,..,An, illetve An+1 vagyonaspektus szerinti osztályozásainak szerkezetét a vagyonosztályokhoz tartozó SA részösszegek összegével. Ezek rendre:
(1)
,
,...,
,...,
, ill. ![]()
ahol x,y,u,w ,x >0 és egész. Az (1) formulákkal szimbolizált vagyonosztályozások szerkezete mind különböző, mert az A
6 axióma szerint a (0,t] időintervallumbeli vagyonváltozásoknak illetve a t. időpontbeli vagyonnak nincs két azonos vagyonosztályozása.Az (1) alatti jelöléseket felhasználva állítom, hogy igaz
(2)
=...=Az (1)-beli vagyonosztályozások részösszegeinek összege A
4 szerint egyenlő az SAi-vel (i=1,2,3,...,n,n+1) jelölt főösszegükkel, és így minden i-re fennáll:(3) S
A1=...,S
An=Minthogy az egyenlők felcserélhetők, a (2) formulát egyszerűbben is írhatjuk:
(4) S
A1=SA2=...=SAi=...=SAn≥0. Ezt kell megmutatni.Mármost:
(I
.) Ha n=2, akkor (5) SA1=SA2≥0 az igazolandó állítás.Jelölje most V
BR a (0;t] intervallumban történt bruttóvagyon-változások bármely aspektusú dinamikus vagyonosztályozásának főösszegét. Valamint jelölje V’BR a (0;t] intervallumban történt bruttóvagyon-változások egyenlegeinek t. időponthoz tartozó bármely aspektusú statikus osztályozásának főösszegét. VBR=V’BR az A5 axióma szerint, függetlenül attól, hogy a VBR főösszeg dinamikus vagy statikus osztályozás főösszege és attól is, hogy milyen az osztályozási aspektusa.A t. időpontban a bruttóvagyon V
BR főösszeggel adott mennyisége vagy pénzértéke (vagy más, pozitív együtthatójú lineáris transzformáltjának értéke) T1 és A2 szerint nem kisebb, mint nulla (VBR≥0). Ugyanakkor A4 szerint fennáll: VBR=SA1 és VBR=SA2. Ám amik ugyanazzal egyenlők, egymással is egyenlők, s ezért igaz: SA1=SA2≥0. Tehát n=2 esetén (5) és így (4) és (2) is igaz.(II.) Most feltesszük, hogy igaz a (2) és (4) n tagú formulája és megmutatjuk, hogy igaz az (n+1)-ik taggal kiegészített formula is.
Vegyük tehát az n tagú (4) egyenlőséglánchoz hozzá a (3)-beli, V
BR nagyságú vagyon An+1 aspektusnak megfelelő újabb (A6) vagyonosztályozása SAn+1 főösszegét (A4). Ekkor igazolandó:(6) S
A1=SA2=...=SAi=...=SAn=SAn+1≥0.Mármost, a feltétel, valamint T
1 és A4, A5 alapján SAn+1-re fennáll: VBR=SAn+1≥0.De V
BR=SAn≥0 is igaz a feltétel, valamint T1 és A4, A5 alapján. Ekkor tehát SAn és SAn+1 is ugyanazzal a VBR-val egyenlő és nem kisebb, mint nulla. Ezért: SAn=SAn+1. Viszont a feltétel szerint SAi=SAn is igaz (i=1,2,...), következésképp az SAi=VBR≥0 is igaz (i=1,2,...). De láttuk, hogy SAi és SAn+1 is ugyanazzal a SAn-el egyenlő, és amik ugyanazzal egyenlők, egymással is egyenlők, azaz: SAn+1 minden SAi-vel (i=1,2,...,n) is egyenlő, és nem kisebb, mint nulla.Azaz valóban: a (6) és így a (2) és (4) formula bármely n és n+1 esetén is igaz.
Q.e.d.
E 16. tételt a vagyon n-aspektusú (n³ 2) szerkezeti törvényének nevezem.
P.: 1./T
K.: 1./A
4, A5, A6, T1.Corollárium 1:
Ji=VS+VI≥0, vagyis: ha a (0,t] időintervallumbeli bruttóvagyon-változások t. időpontbeli egyenlegeinek (azaz a vagyon tárgyainak) halmazát eszköz- és forrás-, azaz két különböző aspektus szerint osztályozzuk, akkor e vagyonosztályozási rendszer osztályozásainak szerkezete eltérő, de az azonos mértékegységben kifejezett két főösszeg egyenlő (T16/C1).
Q.e.d.
P.: 1./T
K.: 1./T
16.Corollárium 2:
I(t)=
Ji=VS+VI≥0, vagyis: ha
Q.e.d.
P.: 1./T
K.: 1./T
16. IM=EM=FM=…=XM≥0., azaz: ha a (0,M] időintervallumbeli bruttóvagyon-változások halmaza idő és a M. időpontbeli egyenlegeik (azaz a vagyon tárgyainak) halmaza eszköz- és forrásaspektust meghaladó, együtt N különböző (N³ 3 és egész) aspektus szerint osztályozott, akkor e dinamikus és statikus vagyonosztályozásokból álló vagyonosztályozási rendszerhez N különböző osztályozási szerkezet tartozik, de az azonos mértékegységben kifejezett főösszegek mind egyenlők (T16/C3).Q.e.d.
P.: 1./T
K.: 1./T
16.Megjegyzés:
Matematikai jelölésekkel e következmény így írható le:
I
M=EM=FM=…=XM>0, ahol a különbözőÈ È È … È
aspektusok száma: 1, 2, 3,…,N (N egész)
és
Az I
M=EM=FM=…=XM>0 formulával kifejezett tételt a bruttóvagyon N-aspektusú (N³ 3 és egész), dinamikus és statikus szerkezeti törvényének nevezem.A
T16/C1 szerint valamely t. időpontban a bruttó vagyon E-F-aspektusú statikus osztályozása fő- és részösszegeire érvényes a következő (1) formula:(1)
(2) ![]()
(3)
Ji(t)=VS(t)+VI(t) (t=1,2,...,K,...,M) (Ld. az alábbi y1 táblázatot).
Tehát a (2) és (3) formula érvényességét kell igazolni:

Először:
A (2) formulában a két főösszeg ![]()
Másodszor:
Most még a (3) formula érvényét kell igazolni.
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 következő (4) formula is:
(4) J
i(K+1)+mert a (4) alatti formula azonos a következő egyenlőséggel: ![]()
De ha (4) igaz, akkor igaz az alábbi (5) is
(5)
Tehát (5) bármely K+1 esetén (t=K+1=2,...,M), (3) pedig bármely K esetén (t=K=1,2,...,M) igaz. Így a tétel mindkét állítása igaz, ezért a tétel igaz.
Q.e.d.
E tételt a bruttóvagyon idő-eszköz- és idő-forrás aspektusú dinamikus szerkezeti törvényének nevezem (T
17).P.: 1./T
17/C, T20.K.: A
6, A7, A11, A15, T16, T16/C1.Corollárium: A bruttóvagyon tetszőleges két különböző aspektusú dinamikus vagyonosztályozásának t=1,2,..,M időpontjához tartozó azonos dimenziójú főösszegei és ezek t=M időpontra számított összegei egyenlők.
Q.e.d.
E formulával kifejezett tételt a bruttóvagyon tetszőleges kétaspektusú dinamikus szerkezeti törvényének nevezem (T
17/C).P.:
K.: T
17.Nézzük a következő (1) formulát:
(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. időosztályának részösszegét jelöli. Az (1) alak a tétel szerinti bruttó vagyon (0;M] intervallumhoz tartozó változásainak tisztán időaspektus szerinti osztályozását a részösszegekkel és főösszeggel reprezentáló matematikai formulája a vonatkozó definíció szerint, de egyúttal szimbolizálja a bruttó vagyon M. időponthoz tartozó mértékét is T1 és A2 szerint.
Ezek alapján állítom, hogy igaz a tételnek megfelelő I-IE-IF aspektus szerinti következő két formula:
(2)
I(t)=![]()
Ji(t)=
VS(t)+VI(t)≥0, valamint igaz a (2) szerinti összegek bármely t. tagjára, hogy:
(3) I(t)=
Ji(t)=VS(t)+VI(t) (t=1,2,...,K,...,M).
Tehát a (2) és (3) formula érvényét kell igazolni:
Először:
A (2) formulában a három összeg, azaz:
I(t) és ![]()
Ji(t) valamint
VS(t)+VI(t), három különböző osztályozást reprezentál e vagyonosztályozási rendszerben a feltétel és a vonatkozó definíció, valamint A6 szerint. Továbbá ezek az összegek a feltétel és az (1) alaknál említett definíció alapján egyenként a bruttó vagyon főösszegével egyenlők. Ezen okok miatt a (2) formula nyilvánvalóan azonos a T16 tételbeli általános formulával az n=3 esetben. Így a tétel (2) formulával jelölt állítása igaz.
Másodszor:
Még a (3) formula [I(t)=
Ji(t)=VS(t)+VI(t) (t=1,2,...,K,...,M)] érvényét kell igazolni.
A (3) formulából az
Ji(t)=VS(t)+VI(t) egyenlőség, azaz az eszközök dinamikus osztályozásának főösszege = források dinamikus osztályozásának főösszege egyenlőség bármely t esetén (t=1,2,...,K,...,M) igaz a T17 szerint. Viszont definíció szerint a
Ji(t) és a VS(t)+VI(t) összegek mindketten a t. időosztályba, vagy másképp a (t-1;t] időintervallumba tartozó vagyonváltozások algebrai összegét jelenítik meg eszköz ill. forrásaspektus szerint, ezért ezek egyenlők az I(t) részösszeggel is (t=1,2,...,K,...,M).
Tehát a tétel mindkét állítása igaz és ezért a tétel igaz.
Q.e.d.
P.: 1./T18/C1, C2, T20.
K.: 1./A2, A6, T1, T16.
E tételt a bruttóvagyon három különböző, idő-, eszköz- és forrásaspektusú, dinamikus szerkezeti törvényének nevezem.
Corollárium 1: A bruttóvagyon időaspektusú vagyonosztályozásának valamely t. időpontjához (t=1,2,..,M) tartozó részösszege egyenlő e vagyon bármely másik, idő- és valamely más aspektus szerinti vagyonosztályozásának ugyanezen t. időponthoz tartozó azonos dimenziójú főösszegével (T
18/C1).Q.e.d.
P.:
K.: T18.
Corollárium 2: A bruttóvagyon bármely összetett dinamikus vagyonosztályozási rendszerének minden t. időosztályához (t=1,2,..,M) tartozó részösszege és ezek összegei egyenlők (T
18/C2).Q.e.d.
P.:
K.: T18.
A gazdasági események és a vagyonosztályozási rendszerek kapcsolata
19. Tétel: Bármely és bármennyi gazdálkodóspecifikus gazdasági esemény bekövetkezte a bruttóvagyon I-E-F aspektusú dinamikus és statikus szerkezeti törvényének érvényességét nem befolyásolja, noha ekkor a gazdasági eseménykoordinátáknak megfelelő végső vagyonosztályokhoz tartozó részösszegek, a gazdasági esemény jellegének megfelelően, megváltoznak.
Jelölje a gazdálkodó időben változó bruttóvagyonának főösszegét VBR(t). A t=0 időpontban leltározott vagyon mértékét — mennyisége és/vagy pénzértéke, vagy ezek más pozitív együtthatójú lineáris transzformáltja szerint — és szerkezetét mutassa a VBR(0)=I(0)=
Ji=VS+VI≥0 formula. Vizsgáljuk hát meg e bruttóvagyon idő-, eszköz- és forrásaspektusú szerkezeti törvénye érvényének alakulását, az [1;M] időintervallumban bekövetkező gazdasági események (A12, A13) kapcsán előálló változások hatásaként, a T16/C2 tétel szerinti
(1)
I(t)=
Ji=VS+VI≥0 formulán. Az I(t) jelöli e bruttóvagyon változások t. időosztályának részösszegét.
Azt kell tehát megmutatnunk, hogy a (1) formulájú egyenlőtlenség, bármely és bármennyi gazdálkodóspecifikus gazdasági esemény (A12, A13) bekövetkezése esetén is igaz marad, noha ekkor a gazdasági eseménykoordinátáknak (A14) megfelelő végső vagyonosztályokhoz tartozó részösszegek, a gazdasági esemény jellegének megfelelően megváltoznak.
Az A15 axióma szerint: a t időpontban bekövetkezett gazdasági esemény kapcsán, az érintett vagyonosztályozáson belül, (a) egyetlen végső vagyonosztály részösszege nő, vagy (b) csökken egy D X>0 összeggel (a csökkenésre – jelölje c - áll: c=-D X<0), vagy (c) egyik végső vagyonosztály részösszege egy D X>0 összeggel csökken, míg egy másik részösszege ugyanezen D X>0 összeggel nő — a t-1 időpontbeli állapothoz képest. Más jellegű vagyonváltozás, gazdasági esemény vagy más ok (T12) kapcsán, nem lehetséges.
Így az A15 szerinti háromféle változás hatását kell csak vizsgálnunk.
Azt kell tehát megmutatnunk, hogy a lehető vagyonváltozásokat hozó gazdálkodóspecifikus gazdasági események nem teszik érvénytelenné a (1) formulát. Minthogy az (a) és (b) szerinti vagyonváltozás csak előjelben különbözik, ezért hatásuk egyszerre vizsgálható — ez legyen az (A) eset, míg a (c) típusú vagyonváltozás hatását kell külön vizsgálni — és ez legyen a (B) eset.
Az (A) esetbeli valamely gazdasági esemény kapcsán bekövetkező bruttóvagyonváltozást (növekedést vagy csökkenést) jelölje:
D VBR=(VBR± x)-VBR=± x, amelyben nyilván x>0 T1 szerint.
Ezen túl a bruttóvagyon saját- és idegenforrás osztályait, továbbosztályozással, célszerűbb alakra hozzuk. Legyenek tehát a források végső osztályaihoz tartozó részösszegek: VS,w és VI,p minden w és p indexértékre. Ekkor:
(A1) VS=VS,1+...+VS,w+...+VS,k (saját források részösszegei),
(A2) VI=VI,1+...+VI,p+...+VI,r (idegen források részösszegei).
Ha pedig kényelmi okokból a w és p indexek maximális értékét összegezzük, akkor VS és VI helyett bevezethetjük a következő, általános forrás- vagy tőkeváltozókat: Vj, ahol j=1,2,...,z=k+r.
Ekkor írható:
(A3) VBR=VS+VI=V1+…+Vj+…+VZ, vagy rövidebben:
(A4) VBR=V1+…+Vj+…+VZ=
Vj.
A (1) formula most ekképp alakítható át a bevezetett új forrásrészösszeg-jelöléssel:
(2)
I(t)=
Ji=
Vj³
0, amely részletezve a következő:
(A5) I(1)+…+I(t)+…+I(M)=J1+…+Ji+…+Jn=V1+…+Vj+…+VZ³ 0.
Mármost: a feltétel szerint, valamely [1,M] időintervallum t. időpontjában következzen be a D VBR=± x (x>0; T1) vagyonváltozást jelentő gazdasági esemény, a gazdálkodó gazdasági tevékenységének, vagy gazdasága természeti-, társadalmi- ill. gazdasági környezetének hatására (A12). Ez a gazdasági esemény, mondjuk, a javak i-edik eszközosztályát, azaz a Ji részösszeget érintse (Ji± x). Ekkor a bruttóvagyon idő-, eszköz- és forrásaspektusú főösszegei egyenlők kell legyenek az A4 axióma és a T16/C2 tétel szerint. De csak úgy lehetnek egyenlők, ha az egyenlőkhöz egyenlőket adunk, illetve, ha az egyenlőkből egyenlőket veszünk el, azaz: ha az érintett eszközfajta Ji részösszegével egyszerre egy megfelelő forrásfajta (forrásosztály) Vj részösszege és egy megfelelő "időfajta" (időosztály) I(t) részösszege is megváltozik, mégpedig azonos mértékben és azonos előjellel. (Ellenkező esetben T16/C2 és A4 hamis kellene legyen, noha mindkettő igaz.) Legyen a megváltozó forrásfajta részösszege, mondjuk a Vj, az időfajtáé pedig I(t). Így valóban az egyenlőség-egyenlőtlenség nem, csak három részösszeg változik meg. Az (A5) formula tehát így alakul:
(A6)
I(1)+…+[I(t)± x]+…+I(M)=J1+…+(Ji± x)+…+Jn=V1+…+(Vj± x)+…+VZ³ 0.Az egyenlőség-egyenlőtlenség érvénye tehát a D V
BR=± x (x>0) bruttó-vagyonváltozás ellenére megmaradt, hiszen mindhárom aspektusú főösszeg azonosan: ± x értékkel változott. Ezt a ± x kiemelésével, még jobban szemléltethetjük:(A7) ±
x+
I(t)=±
x+
Ji=±
x+
Vj³
0.
Természetesen a ± x vagyonváltozás csak azért történhetett meg, mert a feltétel értelmében a gazdasági esemény bekövetkezhetett, azaz — definíció szerint — nem volt lehetetlen gazdasági esemény. Vagyis a gazdasági eseménykoordináták <t,i,j> szerint érintett vagyonosztályok részösszege nem válthatott előjelet, ha azt az osztály vagy a gazdasági esemény jellege nem tette lehetővé. Így egy eszközaspektusbeli és eredendően pozitív Ji nullává válhat, ám nem válhat negatívvá, mert semmiből nem lehet valamit elvenni, az ugyanis nonszensz. (Pl. ha nincs egy árva garas sem a pénztárban, akkor e semmi pénzből nyilvánvalóan nem lehet egyetlen garast sem elvenni.) Míg ha pl. Vj a ráfordítás (a költség) részösszege, akkor pedig az nem válhat pozitívvá — mert akkor a vagyon úgy csökkenne, hogy nőne, vagy másképp: a vagyon akkor úgy csökkenne, hogy a ráfordítás (a költség) hozam lenne – a vonatkozó definíciók szerint — ám ez is nonszensz. (Ugyanis pl. a költségosztály elemei, azaz a hiányzó (már elveszett) vagyontárgyak, létező vagyontárgyakká válnának, azaz a nincs lenne a van. Ez is képtelenség lenne.)
A tétel igazolásához kihasználjuk azt, hogy a D V
BR=± x (x>0) — az előbbi nem-negatívitási ill. nem-pozitívitási korlát mellett — lehet bármennyi és bármekkora növekedés, vagy csökkenés, merthogy D VBR=± x nagyságát ill. előfordulásainak számát nem határoztuk meg, s hogy t az [1;M] zárt intervallumban bármely időpontot jelenthet, miközben M is bármekkora lehet. Kihasználjuk továbbá azt is, hogy ± x bármely I(t)-hez és Ji-hez (i=1,2,...,n), illetve Vj-hez (j=1,2,...,z) adódhat, feltéve, hogy a < t,i,j> gazdasági eseménykoordináta-hármas egyáltalán értelmes.Mindezek alapján belátható, hogy bármennyi ilyen típusú, és tetszőleges D V
BR=± x (x>0) mértékű vagyonváltozással járó gazdasági esemény bekövetkezte sem teszi érvénytelenné a (2) formulát.Ezzel a tételt az (A) esetre igazoltuk.
A (B) eset igazolásához az (A5) alatti formulából induljunk ki újból, de az általános J
i elem mellé vegyük fel a Jk elemet is [ahol 1£ i,k£ n; és i¹ k; feltéve, hogy <i,k> gazdasági eseménykoordináták értelmesek]:(B1)
VBR=I(1)+…+I(t)+…+I(M)=J1+…+Ji+…+Jk+…+Jn=V1+…+Vj+…+Vz³ 0.Most először, a t. időpontban bekövetkezett gazdasági esemény kapcsán, az eszközaspektusú érintett végső osztályok részösszegei változzanak meg egy x>0 értékkel — az A
15 axióma (c) része szerint.Ha az x>0 vagyonváltozással járó gazdasági esemény bekövetkezett, és mondjuk a t. időpontban az eszközök egyike, pl. a k-ik eszközfajta Jk értéke csökkent x-el, azaz a J’k=Jk-x≥0 értéket vette fel, míg egy másik eszközfajta (legyen ez pl. az i-ik) Ji értéke nőtt x-el, azaz a J’i=Ji+x értéket vette fel [feltéve, hogy <i,k> eseménykoordináták egyáltalán értelmesek], akkor:
J’i+J’k=(Ji+x)+(Jk-x)=(x-x)+Ji+Jk=0+Ji+Jk=Ji+Jk.
Vagyis az i. és k. eszközosztályok részösszegeinek együttes összege változatlan maradt (J’i+J’k=Ji+Jk), mert az ellentétes irányú változások mintegy "kioltották", kompenzálták egymást, hiszen x-x=0, azaz összességében nincs változás. Ám ebből az is következik: nem változhat az eszközosztályozás főösszeg sem — A
4 miatt.Ugyanekkor a t. időponthoz tartozó (t-1;t] időintervallum, azaz "időosztály", I(t) részösszege pedig úgy változik, hogy nő is és csökken is x-el, így voltaképp nem változik.
Azaz: (B1) formula egyenlőségrésze ekkor így alakul:
(B2) V
BR=I(1)+…+[I(t)+x-x]+…+I(M)==J1+…+(Ji+x)
+…+(Jk-x)+…+Jn=V1+…+Vj+…+VZ³ 0,vagy másképp, mivel x-x=0, ezért
I(t)+x-x=I(t)+0=I(t), vagyis
(B3) V
BR=I(1)+…+I(t)+…+I(M)==J1+…+J'i
+…+J'k+…+Jn=V1+…+Vj+…+VZ³ 0,ahol J’i=Ji+x, J’k=Jk-x [1£ i,k£ n; i¹ k; feltéve, hogy <i,k> eseménykoordináták értelmesek] a tényleg egymás "rovására" változó Jk és Ji részösszeg új értéke. A +x, -x egy helyre gyűjtésével (további átcsoportosításával — még szemléletesebbé tehető a főösszeg változatlanságának oka:
(B4) V
BR=hiszen x-x=0, és (
Ji)+x-x=(
Ji)+0=
Ji.
A (2) ill. (B1) egyenlőség-egyenlőtlenségrendszerben az idő-, az eszköz- és a forrás főösszeg a vagyon x>0 értékű, eszközaspektusú, struktúraváltozással járó (kompenzatív) gazdasági esemény ellenére nem változott. Itt is kihasználjuk, hogy x>0 lehet bármekkora — a vagyonosztályok számértékének nemnegatívitási korlátja mellett. És, hogy a t bármely időpontot jelenthet (t=1,2,...,M), miközben M is bármekkora lehet. Azt is kihasználjuk, hogy x bármely Ji-hez hozzáadható és bármely Jk-ból levonható, feltéve, hogy az < i,k> eseménykoordinátapáros egyáltalán értelmes.
Hasonló módon megmutatható, hogy a (2) formula akkor is érvényben marad, ha az x>0 strukturális vagyonváltozás a forrásosztályokon következik be, vagyis:
(B5) VBR=
I(t)=
Ji=V1+…+(Vj+x)+…+(Vh-x)+…+Vz=(
Vj)+x-x³
0,
[ahol (1£ j,h£ z; j¹ h), feltéve, hogy a < j,h> párkapcsolat egyáltalán értelmes], illetve akkor is, ha csak az "időosztályokon". Bár ez utóbbi nem lehet valóságos gazdasági esemény. Itt is — mint arra már utaltunk — fennáll:
(B6) VBR=I(1)+…+[I(t)+x]+…+[I(u)-x]+…+I(M)=[
I(t)]+x-x=
=[
I(t)]+0=
I(t)=
Ji=
Vj³
0
ahol (1£ t,u£ M; t¹ u), feltéve, hogy a < t,u> eseménykoordinátapáros egyáltalán értelmes.
Mivel az (A) és (B) tételrész is igaz így maga a teljes tétel is igaz.
Q.e.d.
P.: 1./T19/C1, C2; T20, T21.
K.: 1./A2, A4, A12, A13, A14, A15, T1, T16/C2.
P.: 1./T
28, 2./T8.K.: 1./T
19. vagyonosztályozás részösszege invariáns (nem együttváltozó) e vagyonosztályozás gazdasági esemény kapcsán megváltozó részösszegére vagy részösszegeire nézve.P.:
K.: T
19.
20. Tétel: Bármely és bármennyi gazdálkodóspecifikus gazdasági esemény bekövetkezte a bruttóvagyon I-IE-IF aspektusú dinamikus szerkezeti törvényének érvényességét nem befolyásolja, noha ekkor a gazdasági eseménykoordinátáknak megfelelő végső vagyonosztályokhoz tartozó részösszegek a gazdasági esemény jellegének megfelelően megváltoznak.
Ha a T
16/C2 tételt) t-ik formula
1) I(1)=
J
2) I(2)=
J
.
t) I(t)=
J
.
M) I(M)=
J
A megfelelő oldalakat összegezve a T
18 tételbeli igazolt érvényű (2) formulát kapjuk [jelöljük most (A)-val]:(A)
I(t)=![]()
J
Azt kell megmutatnunk, hogy a bruttóvagyon (A) formula által reprezentált idő-, eszköz- és forrásaspektusú dinamikus szerkezeti törvénye érvényben marad bármely és bármennyi (nem lehetetlen) gazdálkodóspecifikus gazdasági esemény következik is be, noha ekkor az (értelmes) eseménykoordinátáknak megfelelő végső vagyonosztályokhoz tartozó részösszegek megváltoznak.
Mármost: ![]()
J
(B)
I(t)=
J
A (B) formula viszont ekvivalens a T
16/C2 tétel már említettQ.e.d.
P.: 1./T
20/C1, C2, C3, C4, C5, C6, C7.K.: 1./T
16/C2, T18, T19.Corollárium 1: A gazdálkodó anyagi helyzete és annak minden tényezője a gazdálkodóspecifikus gazdasági események kapcsán időben változik.
P.: 1./T
29.K.: 1./T
20.Corollárium 2: Az I=E=F≥0 formulával reprezentált vagyonosztályozási rendszer osztályozásai egymástól függetlenek a csak szerkezeti vagyonváltozások tekintetében.
P.:
K.: 1./T
20.Corollárium 3: Az I=E=F³ 0 formulával reprezentált 3 aspektusú vagyonosztályozási rendszerben, karakterisztikájának megfelelően, vagyonnövekedés vagy csökkenés esetén mindig 3 — az I és az E és az F aspektusú vagyonosztályozáshoz tartozó egy-egy —, míg csak szerkezetváltozás esetén mindig 2 — vagy csak az I, vagy csak az E, vagy csak az F aspektusú osztályozáshoz tartozó — részösszeg változik meg.
P.:
K.: T
20.Corollárium 4: Az I=E=F=…=X³ 0 formulával reprezentált N aspektusú (N³ 3 és egész) vagyonosztályozási rendszerben, karakterisztikájának megfelelően, vagyonnövekedés vagy csökkenés esetén mindig N — de osztályozásonként csak egy —, míg csak szerkezetváltozás esetén, ha mindegyik osztályozás független a többitől, mindig csak az egyik osztályozáshoz tartozó 2 részösszeg változik meg. Ha a rendszerben van még nem független K (1≤K≤N-3 és egész) vagyonosztályozás is, akkor összesen legfeljebb 2K+2 részösszeg változik meg K+1 osztályozásban.
P.:
K.: T
20.Corollárium 5: Elvonatkoztatva az időaspektustól, az E=F³ 0 formulával reprezentált vagyonosztályozási rendszerben, karakterisztikájának megfelelően, bármely gazdasági esemény kapcsán mindig csak 2, E és/vagy F vagyonosztályhoz tartozó részösszeg változik meg — bárhogyan is változik a vagyon.
P.:
K.: T
20.Corollárium 6: Az I=E=F=…=0 formulával reprezentált explicite N-szeres (N³ 3 és egész) vagy az IE=IF=…=0 formulával reprezentált implicite N-szeres (N³ 2) vagyonosztályozási rendszer szerkezeti törvénye érvényes lesz a vagyon és adósság nélkül kezdő
(VBR=0 és VI=0), valamint a csak adóssággal rendelkező (VBR=0 és VI=A>0 és VS= -A<0, és F=VS+VI=0) gazdálkodó esetén, bármely és bármennyi gazdálkodóspecifikus gazdasági esemény következik be.P.: 2./T
2.K.: 1./T
20.A természetes vagyonosztályozás törvénye és a természetes vagyonosztályok
Corollárium 7: A t. időpontokban (t=1,2,…,M) bekövetkező gi(t) [i=1,2,…,n] gazdálkodóspecifikus gazdasági események fokozatosan - természetes kronológia szerint – felépítik és minden t. időpontban egyértelműen meghatározzák a gazdálkodó vagyonosztályozási rendszerét. E természetes folyamat minden t. időpontjában: a gi(t) események jellegének és koordinátáinak megfelelő részösszegek megváltoznak (nőnek és/vagy csökkennek) . Ez történik akkor is, ha e változások nyilvántartottak és akkor is, ha nem; és akkor is, ha e változások koordinátái még csak kikövetkeztethetők a gi(t) gazdasági események időpontja és neve (leírása) adataiból.
P.:
K.: 1./T
20, 2./T2.E T
20/C7 tételt a természetes vagyonosztályozás törvényének, míg a létrejött osztályokat természetes vagyonosztályoknak nevezem. (0,M] időintervallumban változó bruttóvagyon I=E=F³ 0 formulával reprezentált explicite N-szeres (N=3) vagyonosztályozási rendszere komplett rendszer (T21).A vonatkozó definíció értelmében valamely gazdálkodó vagyonának vagyonosztályozási rendszerét komplettnek nevezem, ha az kielégítően informatív és egyben zárt a gazdálkodását jellemző (gazdálkodóspecifikus) gazdasági eseményekre nézve.
Azt kell tehát megmutatnunk, hogy a T
16/C2 tételbeli I-E-F aspektusú(1)
I(t)=
Ji=VS+VI³
0
formulával reprezentált vagyonosztályozási rendszer kielégítően informatív és egyben zárt a gazdálkodóspecifikus gazdasági eseményekre nézve.
(A) Először mutassuk meg, hogy az (1) formulával szimbolizált vagyonosztályozási rendszer kielégítően informatív. Ez fennáll, ha a vagyonosztályozási rendszert képviselő formula a gazdálkodó adott időpontbeli anyagi helyzetét, és legalább bruttóvagyonának ezen időpontig tartó időbeli változását mutatja, per definiendem.
De a gazdálkodó anyagi helyzete alatt, definíció szerint, bruttó- és
nettóvagyona, valamint adóssága adott időpontbeli nagyságát valamint osztályai és részösszegei szerinti szerkezetét értem.Az (1) formulában:
a t=M időpontban összegzett bruttóvagyon VBR³
0 (T1, A2), az eszköz (
Ji) és forrás (VS+VI) aspektusú főösszegeivel szerepel (ld. a következő (2) formulát):
(2) VBR=
Ji=VS+VI³
0.
Szerepel továbbá a nettó- vagy sajátvagyon: (3) VS
0 (T5), valamint az adósság vagy idegenvagyon: (4) VI³
0 (T2, A2), és látható az előbbiek szerkezete is, hiszen:
(5) VBR=
Ji=VS+VI=J1+..+Ji+..+Jn=VS+VI³
0.
Tehát az (1) formula mutatja a gazdálkodó t=M időpontban fennálló anyagi helyzetét.
Ugyanakkor az (1) formula egyenlőségének első tagja mutatja a bruttóvagyon időbeli változását is a t=M időpontig, a t szerinti (0;M] jobbról zárt időintervallumban:
(6) VBR=
I(t)³
0.
Az (1) formulájú vagyonosztályozási rendszer tehát a (2), (3), (4), (5) és (6) formulák szerint valóban a definíciónak megfelelően kielégítően informatív.
(B) Most még azt kell megmutatni, hogy a VBR³ 0 bruttóvagyon (1) formulával reprezentált vagyonosztályozási rendszere egyben zárt is a gazdálkodóspecifikus gazdasági eseményekre nézve.
Definíció szerint valamely vagyonosztályozási rendszert zártnak nevezek a gazdálkodóspecifikus gazdasági eseményekre nézve akkor és csak akkor, ha e gazdasági események bármelyikének bekövetkezésekor vannak a vagyonosztályozási rendszerben az esemény jellegének megfelelő olyan részösszegek, amelyek az esemény előtti állapothoz képest, az esemény tartalmának megfelelően, megváltoznak.
Mármost a bizonyított T19
tétel szerint: a bruttóvagyon idő-, eszköz- és forrásaspektusú, dinamikus és statikus szerkezeti törvényének (reprezentáns formulája:)(T) VBR=
I(t)=
Ji=VS+VI³
0
érvényességét bármely és bármennyi gazdálkodóspecifikus gazdasági esemény bekövetkezése sem szünteti meg, noha ekkor a gazdasági eseménykoordinátáknak megfelelő végső vagyonosztályokhoz tartozó részösszegek megváltoznak. Ugyanakkor a (T) formula azonos az (1) formulával, következésképp az (1) formulával reprezentált rendszer zárt a gazdálkodóspecifikus gazdasági eseményekre nézve.
Megmutattuk tehát, hogy a bruttóvagyon (1) illetve (T) formulával reprezentált vagyonosztályozási rendszer (A) kielégítően informatív és (B) egyben zárt is a gazdálkodóspecifikus gazdasági eseményekre nézve, azaz: komplett rendszer.
Q.e.d.
P.: 1./T21/C1, C2, C3, C4, C5; T23, T24, T28.
K.: 1./A
2, T1, T2, T16/C2, T19. I=E=F=…=X³ 0 formulával reprezentált explicite N-szeres (N³ 3) vagyonosztályozási rendszere komplett.Q.e.d.
P.: 1./
T23, T24, T25.K.: 1./T
21. A bruttóvagyon IE=IF=…=IX³ 0 formulával reprezentált implicite N-szeres (N³ 2) vagyonosztályozási rendszere komplett.Q.e.d.
P.: 1./
T23, T24, T25, T26, T28.K.: 1./T
21. a a bruttóvagyon osztályozási rendszere (esetleg más statikus vagyonosztályozások mellett) csak I, vagy E, vagy F, avagy E és F, vagy I és E, vagy I és F aspektusú vagyonosztályozásból áll, vagy ezek egyikét sem tartalmazza, akkor az ilyen vagyonosztályozási rendszer inkomplett, bár az E=F³ 0 vagyonosztályozási rendszer zárt a gazdálkodóspecifikus gazdasági eseményekre nézve.Q.e.d.
P.: 1./
T26, T28.K.: 1./T
21.Corollárium 4: A vagyon idő-, eszköz- és forrás-aspektusa és az I-E-F aspektus szerinti osztályozása a vagyonosztályozás immanens tulajdonsága, azaz attribútuma.
Q.e.d.
P.:
K.: T
21.Corollárium 5: A mérvadó vagyonaspektusok maximális száma n, és 3<n<X(t,E), ahol X ismeretlen nagyságú természetes szám és felső korlátjának értéke függ a t időponttól (milyen naptári évet írunk épp) és a gazdálkodó gazdálkodási profiljától, gazdasága nagyságától és bonyolultságától, melyeket az eszközök szerkezetével és főösszegével (E=å ei) jellemezhetünk.
Q.e.d.
P.:
K.: T
21. P=EP=FP≥0 vagy az EP=FP≥0 formulával reprezentált, a bruttóvagyonból csak a pénzvagyont mutató — pénzforgalmi szemléletű —vagyonosztályozási rendszer inkomplett.Reprezentálja a V
BR≥0 (T1,A2) bruttóvagyon explicit N-szeres (N=3) vagyonosztályozási rendszerét azJelölje a bruttóvagyonból a pénzvagyon nagyságát VPBR≥0 (T1,A2), míg a bruttóvagyon "naturáliákat" tartalmazó rész nagyságát VNBR≥0 (T1,A2).
Ekkor nyilván VBR=VPBR+VNBR=
I(t)=
Ji=VS+VI≥0, ahol
(P) VPBR=
IP(t)=
JPi=VPS+VPI≥0 és
(N) VNBR=
IN(t)=
JNi=VNS+VNI≥0.
Vizsgáljuk meg a pénzvagyon (P) IP=EP=FP≥0 formulával reprezentált vagyonosztályozási rendszerét.
Tegyük fel, hogy az
(P) VPBR=
IP(t)=
JPi=VPS+VPI≥0 formulával reprezentált vagyonosztályozási rendszer komplett.
Kíséreljük meg ezt az állítást bebizonyítani.
(A) A komplett vagyonosztályozási rendszer, definíció szerint, kielégítően informatív és zárt a gazdálkodóspecifikus gazdasági eseményekre nézve. Ámde VPBR nem a teljes vagyon nagysága, mert a bármely gazdálkodó gazdálkodására jellemző gazdasági eseménytípusok sorában mindig van olyan gazdasági esemény, amelynek bekövetkezte nem érinti a gazdálkodó pénzeszközeit, pénzvagyonát (A16) csak más jellegű vagyonrészt. Tehát az ilyen gazdasági esemény hatása nyilván nem mutatkozhat meg a neki megfelelő végső osztályokat nem tartalmazó IP=EP=FP≥0 szerinti vagyonosztályozási rendszerben. Ezért igaz, hogy VBR>VPBR, VS>VPS és VI>VPI. Tehát VPBR nem tartalmazza a teljes bruttó vagyont, VPS a teljes sajátvagyont, valamint VPI nem tartalmazza a teljes idegen vagyont/adósságot. Ugyanis a naturáliákat tartalmazó vagyonrészek és a velük összefüggő források összegei hiányoznak ezekből. Következésképpen VPBR a naturáliákban megtestesülő vagyonról (VNBR) és annak saját (VNS) illetve idegen (VNI) forrásáról információt nem képes nyújtani. Tehát az (P) szerinti vagyonosztályozási rendszer nem lehet komplett.
(B) Továbbá VBR>
IP(t) is nyilván fennáll, mert
IP(t) csak a bruttó pénzvagyon időbeli alakulását mutatja, a naturáliákét nem (A16). De állítottuk, hogy IP=EP=FP≥0 szerinti rendszer komplett, azaz a teljes vagyonról informál, ámde nem. Ellentmondásra jutottunk. Következésképpen a kiinduló állításunk ellenkezője az igaz.
Tehát az (A) és (B) részben igazoltuk, hogy a (P) formulával reprezentált vagyonosztályozási rendszer inkomplett.
(C) Ugyanakkor az is kimutatható, hogy a (P) formulával reprezentált vagyonosztályozási rendszer nem is zárt a gazdálkodóspecifikus gazdasági eseményekre nézve. Ugyanis az, a naturáliákat érintő gazdasági események naturális rész- és főösszegekre való hatását nyilván nem képes mutatni — minthogy az IP=EP=FP≥0 szerinti rendszerben nincs egyetlen végső osztály sem az IN=EN=FN≥0 szerinti rendszer végső osztályaiból. Ámde a minden gazdálkodó gazdálkodására jellemző gazdasági eseménytípusok sorában, mindig van olyan gazdasági esemény, amelynek bekövetkeztével csak pénzeszközön kívüli eszköz- és/vagy forrásosztály részösszege változik meg (A16). De az ilyen esemény hatása nyilván nem mutatkozhat meg a (P) szerinti pénzforgalmi szemléletű vagyonosztályozási rendszerben. Következésképpen az (P) formulával reprezentált rendszer nem teljesíti a komplettség másik nélkülözhetetlen feltételét sem: nem zárt a gazdálkodóspecifikus gazdasági eseményekre nézve. Tehát emiatt is inkomplett.
(D) Végül (A) és (C) miatt inkomplett a (P2) VPBR=
JPi=VPS+VPI≥0 formulával reprezentált vagyonosztályozási rendszer is, de (P2) hiányossága még az is, hogy a vagyon időbeli változását a pénzvagyonra sem mutatja.
Tehát: az (A), (B), (C) és (D) részben igazoltuk, hogy: Az IP=EP=FP≥0 vagy az EP=FP≥0 formulával reprezentált, a bruttóvagyonból csak a pénzvagyont mutató — pénzforgalmi szemléletű — vagyonosztályozási rendszer inkomplett.
Q.e.d.
P.:
K.: 1./A2, A16, T1, T21.
23. Tétel: Ha a VBR³ 0 bruttóvagyon vagyonosztályozási rendszere komplett, akkor van benne idő-, eszköz- és forrásosztályozás.
A VBR³ 0 (T
1,A2) bruttóvagyon vagyonosztályozási rendszere komplett a feltétel szerint. Ugyanakkor tegyük fel, hogy(H) nincs e rendszerben idő-, eszköz és forrásosztályozás. De ez a (H) feltételezés ellentmond a már bizonyított T
21, T21/C1 és T21/C2 tételeknek, melyek szerint egy komplett rendszerben van idő-, eszköz és forrásosztályozás. Tehát a (H) állítás hamis, következésképp a tétel igaz.Q.e.d.
P.:
K.: A
2, T1, T21, T21/C1, T21/C2.24. Tétel: Ha a gazdálkodó VBR³ 0 bruttóvagyonának vagyonosztályozási rendszere komplett, akkor zárt a gazdálkodóspecifikus gazdasági eseményekre nézve.
A feltétel szerint a gazdálkodó VBR³ 0 (T
1,A2) bruttóvagyonának vagyonosztályozási rendszere komplett (T21 és T21/C1). Ugyanakkor tegyük fel, hogy (H) nem zárt a gazdálkodóspecifikus gazdasági eseményekre nézve.De ez a (H) feltételezés ellentmond a már bizonyított T
21, T21/C1 és T21/C2 tételeknek, melyek szerint egy komplett rendszer zárt a gazdálkodóspecifikus gazdasági eseményekre nézve. Tehát a (H) állítás hamis, következésképp a tétel igaz.Q.e.d.
P.:
K.: A
2, T1, T21, T21/C1, T21/C2.25. Tétel: A bruttóvagyon N "serpenyős" (N³ 2) modern mérlege komplett rendszer.
A bruttóvagyon I(M)=E(M)=F(M)=…=X(M)³0 formulával (M időpont és M=1,2,...) reprezentált explicit N-szeres (N³3) [T
21/C1 szerint], illetve az IE(M)=IF(M)=...=IX(M)³0 formulával reprezentált [T21/C2 szerint] implicit N-szeres (N³2) vagyonosztályozási rendszere komplett.Ugyanakkor a vonatkozó definíció értelmében a bruttóvagyon N "serpenyős", vagy másképp: N-szeres (N³2) modern mérlegének nevezzük annak implicite vagy explicite N-szeres vagyonosztályozási rendszerét (valamely M. időpontban). E definíció alapján, tehát a bruttóvagyon N "serpenyős" modern mérlege explicite vagy implicite N-szeres (N³2) vagyonosztályozási rendszer, és mint olyan, komplett rendszer.
Q.e.d.
P.:
K.: T
21/C1, T21/C2.26. Tétel: Ha egy vagyonosztályozási rendszer komplett, akkor vagy explicit N-szeres (N³ 3) és osztályozásai között a dinamikus I és a statikus E és F vagyonosztályozás szerepel, vagy implicit N-szeres (N³ 2) és osztályozásai között a dinamikus I-E és I-F összetett vagyonosztályozás szerepel.
Jelölje a vagyonosztályozási rendszert S, aspektusainak számát N, jelölje továbbá a dinamikus idő- és a statikus eszköz- és forrás, valamint a dinamikus idő-eszköz és idő-forrás aspektusú osztályozásokat rendre: I, E, F, illetve I-E és I-F. Továbbá, ha a vagyonosztályozási rendszer explicite N-szeres, akkor jelölje ezt S
expl és Nexpl, míg, ha implicite N-szeres, akkor jelölje ezt Simpl és Nimpl.Igazoljuk az explicit N-szeres (I.) és az implicit N-szeres (II.) esetre külön a tételt.
(I.) Ekkor, ha kissé átfogalmazzuk a tételnek ezt a részét és alkalmazzuk a bevezetett jelöléseket, írhatjuk a következőt:
(1) Minden komplett S
expl esetén igaz: Nexpl³ 3 és van I és E és F vagyonosztályozása.Állítsuk az (1) tételrész ellenkezőjét:
(2) Nem minden komplett S
expl esetén igaz: Nexpl³ 3 és van I és E és F vagyonosztályozása. Vagy másképp: Van olyan komplett Sexpl melyre igaz: vagy Nexpl<3 vagy nincs I vagy nincs E vagy nincs F vagyonosztályozása (a ’vagy’ itt nyilván megengedő és nem kizáró értelemben használt).Ekkor a komplett S
expl-ben legyen Nexpl<3 és osztályozási rendszere (esetleg más statikus vagyonosztályozások mellett) csak I, vagy E, vagy F, avagy E és F, vagy I és E, vagy I és F aspektusú vagyonosztályozásokból álljon, vagy ezek egyikét se tartalmazza. Vagy: legyen Nexpl³ 3, de a komplett Sexpl (esetleg más statikus vagyonosztályozások mellett) csak I, vagy E, vagy F, avagy E és F, vagy I és E, vagy I és F aspektusú vagyonosztályozásokból álljon, vagy I, E, F egyikét se tartalmazza.Ámde T
21/C3 szerint: ha a bruttóvagyon osztályozási rendszere (esetleg más statikus vagyonosztályozások mellett) csak I, vagy E, vagy F, avagy E és F, vagy I és E, vagy I és F aspektusú vagyonosztályozásokból áll, vagy ezek egyikét sem tartalmazza, akkor az ilyen vagyonosztályozási rendszer inkomplett. Ez viszont cáfolja (2) alatti állításunkat, következésképpen az (1) alatti az igaz.(II.) A tétel második része szintén átfogalmazva és a bevezetett jelölésekkel így írható:
(1) Minden komplett S
impl implicit N-szeres vagyonosztályozási rendszerére igaz: Nimpl³ 2 és van I-E és I-F vagyonosztályozása.Állítsuk az ellenkezőjét:
(2) Nem minden komplett S
impl rendszerre igaz: Nimpl³ 2 és van I-E és I-F vagyonosztályozása. Vagy másképp: Van olyan komplett Simpl melyre igaz: vagy (A) Nimpl<2 vagy (B) nincs I-E vagy (C) nincs I-F vagyonosztályozása. Ekkor a (2) állítás formálisan így is írható:(3) $ S
implP(Simpl), ahol P(Simpl)=AÚ BÚ C, továbbá ahol ’$ ’ az egzisztenciális kvantor (jelentése: “van olyan”), míg ’Ú ’ a diszjunkció (másképp: alternáció), azaz a “megengedő vagy” jele, és P(Simpl)=AÚ BÚ C az Simpl-re vonatkozó állítás (P=prédikátum). [Pl. AÚ B logikai értéke: AÚ B igaz, akkor és csak akkor, ha vagy A, vagy B, vagy A is és B is igaz. Az AÚ BÚ C formulára az igazság kritériuma könnyen kiterjeszthető, ha átírjuk pl. így: AÚ BÚ C=(AÚ B)Ú C].Mivel A és B és C is egyenként vagy igaz, vagy hamis állítást jelöl (és ezt így jelölhetjük: 1=igaz; 0=hamis), ezért AÚ BÚ C lehetséges igazságértékeinek száma: 2
3=8. Azaz: az alábbi, ún. igazságérték-táblázatba foglalva A, B, C jelentéseit és igazságértékeit, ekkor AÚ BÚ C lehetséges igazságértékeire kapjuk:
Eme — kissé átfogalmazott — állítások közül a 7. bár formálisan igaz, ámde nyilvánvalóan önellentmondást tartalmaz, ezért értelmetlen. A 8. pedig formálisan eleve hamis, tartalmilag viszont pont a II./(1) tételrészt igazolja. Ezért ezekkel nem foglalkozunk.
Vizsgáljuk tehát az 1.-6. állításokat.
Megállapítható ezekről az: vagy I-E nincs, vagy I-F nincs, avagy e kettő közül egyik sincs a komplett S
impl rendszerben. Ámde mindez ellentmond a T21/C2 bizonyított tételnek. A II./(2) állítással ellentmondásra jutottunk, ezért ellentéte a II./(1) állítás az igaz.Megmutattuk tehát, hogy a tételnek mind az I. mind a II. része igaz állítás, következésképp a tétel igaz.
Q.e.d.
P.:
K.: T
21/C2, T21/C327. Tétel: A bruttóvagyon növekedését és/vagy csökkenését jelentő (0;M] időintervallumbeli gazdasági események azonos fajta mértékadatainak különbsége (ha a csökkenések negatív előjelűek, akkor algebrai összege) egyenlő a bruttóvagyon M időpontbeli statikus osztályozásának főösszegével.
Az A5 axióma szerint: A vagyonváltozás-osztályban a (0,t] időintervallumban gazdasági események kapcsán létrejött vagyonnövekedések és csökkenések különbsége (egyenlege) egyenlő a t. időpontban értelmezett statikus vagyonosztályhoz tartozó összeggel — legyen az akár fő- akár részösszeg.
Mivel a feltétel szerint t=M és a vagyonváltozás-osztály a bruttóvagyonhoz tartozó változás-alaposztállyal azonos, ezért, az A5 axiómának megfelelően, a (0;M] intervallumban történt bruttóvagyon-változások egyenlege egyenlő a bruttóvagyon M. időponthoz tartozó statikus osztályozásának főösszegével.
Q.e.d.
P.: 1./T28, 2./T5
K.: 1./A5.
28. Tétel: A bruttóvagyon E=F³ 0 formulával reprezentált inkomplett vagyonosztályozási rendszere (klasszikus mérlege) kompletté tehető.
A T
21/C3 tétel szerint a bruttóvagyon(1) E=F³ 0
formulával reprezentált vagyonosztályozási rendszere (klasszikus mérlege) inkomplett, bár zárt a gazdálkodóspecifikus gazdasági eseményekre nézve. Ezért e rendszer kompletté tételéhez, a vonatkozó definíciónak megfelelően, azt kell csak megmutatni, hogy az (1) formula kielégítően informatívvá tehető.
Definíció szerint egy vagyonosztályozási rendszer akkor kielégítően informatív, ha a gazdálkodó adott időpontbeli anyagi helyzetét, és legalább bruttóvagyonának ezen időpontig tartó időbeli változását mutatja.
Az világos, hogy az E=F³ 0 formulával reprezentált vagyonosztályozási rendszer a statikus anyagi helyzetet a t=M időpontban mutatja. Ahhoz, hogy komplett is legyen, még legalább a bruttóvagyon időbeli változását is mutatnia kell a (0,M] időintervallumban.
Ehhez vegyük a (0,M] időintervallum t. időpontjaiban (t=1,2,...,M) bekövetkezett összes k. gazdasági esemény (k=1,2,...) azonos típusú A
13 szerinti vk(t) mértékadatait (a csökkenéseket negatív előjellel). A csak strukturáló események mértékadatát viszont nyilván vagy kétszer kell venni ellentétes előjellel, vagy egyszer sem. Ugyanis a t. főösszeg ezekre nézve invariáns (T19/C1). E vk(t) vagyonváltozások algebrai összegét, mint az időaspektusú alaposztály főösszegét jelölje I. Ekkor I egyenlő a bruttóvagyon t=M időpontbeli E³ 0, illetve F³ 0 főösszegével a T27 szerint, azaz (2) I=E=F³ 0.Mivel ezek a v
k(t) értékadatok gazdasági események adatai, amelyek a (0,M] időintervallumba eső időpillanatokban következtek be, ezért e vk(t) összegek, a (t-1;t] időszakokra (t=1,2,..,M) bontott (0,M] időintervallum megfelelő időosztályának I(t) részösszegét változtató értékek A5 szerint. Ekkor I(t) [t=1,2,..,M] egyenlő a t. időponthoz tartozó vk(t) értékek algebrai összegével (A5), I pedig egyenlő az I(t)-k összegével A4 szerint. Így igazDe az egyes időosztályok I(t) részösszegéhez (t=1,2,..,M) tartozó v
k(t) összegek besorolhatók, ha az i. eszközfajta (i=1,2,...,n) változását idézte elő a gazdasági esemény, akkor az i. eszközosztály (eszközfajta) ei(t) részösszegét változtató összegként. Ekkor ei(t) [i=1,2,...,n; t=1,2,..,M] egyenlő a hozzá tartozó vk(t) értékek algebrai összegével szintén A5 szerint.Továbbá az egyes időosztályok I(t) részösszegéhez (t=1,2,..,M) tartozó v
k(t) összegek besorolhatók, ha a j. forrásfajta (j=1,2,...,p) változását idézte elő a gazdasági esemény, akkor a j. forrásosztály (forrásfajta) ¦ j(t) részösszegét változtató összegként. Ekkor ¦ j(t) [j=1,2,...,p; t=1,2,..,M] egyenlő a hozzá tartozó vk(t) értékek algebrai összegével A5 szerint.Most az ei(t)-k i és t szerinti, az ¦ j(t)-k j és t szerinti összegzésével (A
4, A5 és T27 szerint) kapjuk a VBR(M)=Q.e.d.
Ezzel nem csak a tétel bizonyítását adtuk meg, hanem a kompletté alakítás eljárási módját is (ami kapóra jöhet egy szemfüles szoftverkészítőnek, feltéve, hogy észleli ezt az információt J ).
P.:
K.: 1./A
4, A5, T19/C1, T21, T21/C2, T21/C3, T27. BR(M)=Az anyagi helyzet törvényének matematikai modelljét a következő formula adja:
V
BR(M)=A jelöléseket felhasználva az (1)-(7) állítások igazságát kell megmutatni.
(1) Mármost, ha a gazdálkodónak valamely t. időpontban (t=1,2,..,M) van vagyona (azaz V
BR(t)>0 T1 szerint), akkor van adóssága is (A7) és A(t)>0 T2 szerint. Az (1) állítás tehát igaz.(2) Ha a gazdálkodónak van vagyona és így adóssága is (1) szerint, akkor e kettő viszonyára igaz: V
BR(t)(3) De van olyan helyzet, hogy valamely gazdálkodónak egy t. időpontban — még vagy már — sem vagyona, sem adóssága nincs, azaz: V
BR(t)=0 és A(t)=0 A2 és A7 szerint. (Ekkor ő nincstelen.) Tehát a (3) állítás is igaz.(4) De lehet olyan t időpont is, amikor a gazdálkodónak nincs bruttóvagyona (azaz: V
BR(t)=0 A2 és A7 szerint), ámde adóssága van (azaz: A(t)>0 A7 és T2 szerint). (Ő a nincstelen adós.) Ekkor viszont sajátvagyona negatív [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. Tehát a (4) állítás is igaz.(5) És más eset nem lehetséges (A
7). Azaz az (5) állítás is igaz.(6) A gazdálkodó anyagi helyzete és minden tényezője időben mindig változik, akár folytatja gazdálkodását (T
20/C1), akár magára hagyja vagyonát (T15/C) [tehát (6) igaz], és(7) vagyona, mint az anyagi helyzetének egyik fő tényezője n (n³ 3), azaz legalább idő, eszköz és forrás aspektusból vizsgálható és vizsgálandó — T
16/C3 szerint. Tehát (7) igaz.(1)-(7) részekből mindösszesen folyik a tétel igazsága.
Q.e.d.
P.:
K.: A
2, A7, T1, T2, T3, T5, T15/C, T16/C3, T20/C1.2. Az általános és a vagyonkönyvvitel elméletének alapelemei
2.1 Princípiumok
2.11 Vagyonkönyvviteli definíciók
2.111 Az általános könyvvitel fogalmai



(a1) A M=á A,X,Y,d ,l ñ
szimbólumokkal jelölt rendszert — mint rendezett 5-ösből álló matematikai (algebrai) modellt.
Ebben az A, X és Y szimbólum legalább egy elemű, azaz nem üres halmazokat, a d és l szimbólum az A´ X szorzathalmazon, azaz az á a,xñ (aÎ A,xÎ X) rendezett párok halmazán értelmezett d :A´ X® A és l :A´ X® Y függvényeket jelöl, ahol:
Az A M automata működését a d és l függvények adják meg:
(a2) d (a,x)Î A
(a3) l (a,x)Î Y
adja meg.
Megjegyzések:
Egy ilyen A
M automata, A-véges, ha állapothalmaza véges, és véges, ha mindhárom halmaza véges.Teljesen definiált az A
M automata, ha d és l függvények minden á a,xñ (aÎ A,xÎ X) rendezett párra értelmezve vannak, ellenkező esetben parciális automatáról beszélünk.Determinisztikus az A M automata, ha d és l egyértékű függvények, egyébként nem determinisztikus.
Az általunk vizsgált automaták mind teljesen definiált és determinisztikus A M automaták.
Ezen A M automaták működéséről feltesszük még, hogy diszkrét időskálában működnek, azaz csak meghatározott, egymástól elkülönített időpontokban kaphatnak bemenőjelet és bocsáthatnak ki kimenőjelet. Eszerint, ha az A M automata valamely időpillanatban az aÎ A állapotban van, és ekkor kap egy xÎ X bemenőjelet, akkor a d (a,x)Î A állapotba kerül és egy l (a,x)Î Y kimenőjelet bocsát ki (feltéve, hogy nem kimenőjel nélküli automata).
Az A M automata eme működését az alábbi a2. ábrán látható sémával szemléltethetjük:

Az a2. ábra [a,b] vízszintes nyila az automata állapotváltozását mutatja az x bemenőjel (felső függőleges nyíl) hatásaként (az automata a-ból b állapotba kerül). Az alsó függőleges nyíl pedig a kimenőjel kibocsátását jelzi.
Ennek átmeneti függvénye tehát:
(a4) d (a,x)=a,
azaz az automata állapota nem változik meg az x bemenőjel hatására, attól nem függ.
Belátható, hogy az y kimenőjel az A MA1 automatáknál, (a4) miatt, csak a bemenőjeltől függ, ezért a kimeneti függvényből a egyszerűen el is hagyható:
(a5) l (a,x)=l (x)=y.
Az A
MA1 (állapot)memória nélküli, Mealy-féle, véges absztrakt automata tehát a következőképpen is definiálható:(a6) A
MA1=á A,X,Y,l ñ ,ahol xÎ X; yÎ Y és ç Aç =1.
Az (a6) algebrai modellben viszont előnyös az, hogy még tovább egyszerűsíthető. Elhagyható belőle minden, a kimeneti függvény kivételével, mert A
MA1 voltaképpen megfelel az ismert egyváltozós y=¦ (x) formulának, melynek X az értelmezési tartománya és Y az értékkészlete, azzal az apró eltéréssel, hogy esetünkben az X és Y halmaz is véges, azonos számosságú halmaz, következésképpen a függő és független változó csak diszkrét értéket vehet fel. Vagyis A MA1 ekvivalens a következő(a7) y
i=¦ (xi)formulával, ahol i=1,2,...n és x
iÎ X; yiÎ Y.Továbbá: esetünkben az A
MA1 modell függő változója célszerűen legalább két elemű vektorral írandó majd fel, ezért a modell kicsit módosul:(a8)
yi=¦ (xi),ahol i=1,2,...n; és y
i szám-n-est (a hagyományos könyvvitelben szám-2-est), xi pedig szabványos esemény nevét vagy leírását tartalmazza — voltaképpen “szövegváltozó”.Mindazonáltal az A
MA1 automatánk összefoglaló jelölése:(a8’) A
MA1=á A,X,Y,l =yi=¦ (xi)ñ ,ahol xiÎ X; yiÎ Y és yi egy szám-n-es (i=1,2,...n), valamint ç Aç =1.
2.112 A vagyonkönyvvitel fogalmai
[yj’*,zj*,cj*,ei]j=[¦ j’(ei), g j(ei),cj*,ei]j
ahol:
A futóindexek jelentése, értékei:

Ezen lekérdező automatát szimbolizálja a
L
K=á A,a0,S,R,Y,d ,l ñ
rendezett 7-es, mint algebrai modell, ahol:
Az L K lekérdező automata további jellemzői:
Az a0Î A az automata kezdő állapotvektora, és értéke mindig a nullvektor (a0=0), melybe L K azonnal visszatér, mihelyt az automata az m-ik állapotán túljutott. Ezt az automata d átmeneti függvénye biztosítja.
Az aj=[aj1,aj2,aj3]*Î A állapotvektor egy szám-3-as. Elemei: aj1 értéke a tartozik adatok j-ig kumulált összege (aj1=T); aj2 értéke a követel adatok j-ig kumulált összege (aj2=K); aj3 értéke a j-ig számított egyenleg (aj3=E=T+K; ahol T³ 0 és K£ 0).
Az R könyvviteli adatbázis az rj*=rj*(aj*,ei)Î R könyvviteli adatrekordok halmaza. Egy rekord elemszáma: v=(l +p+u)+1.
Az yj* sorvektor, mint kimenő “szó”, pedig nem más mint az R könyvviteli adatbázis gazdasági eseményenkénti lekérdezésével (szűrésével) 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 azonosítójú vagyonfajta (hagyományos könyvvitelben az s számla) következő adatait tartalmazza: 1.) a vagyonfajta (számla) s azonosító adata; 2.) esemény dátuma (D), 3.) esemény bizonylatszáma (B) 4.) esemény neve (N), 5.) tartozik rovaton esetleg lévő összege: T³ 0, 6.) tartozik forgalom összesen (ST) 7.) követel rovaton esetleg lévő összege: K³ 0, 8.) követel forgalom összesen (SK) 9.) az egyenleg összege: E=T+K. (Megjegyzendő, hogy egy yj* sorvektorban nyilván, vagy csak a tartozik, vagy csak a követel rovaton lehet nullától különböző szám!)
Az L K lekérdező automata kétváltozós átmeneti függvényének alakja:
(a17) d (a0,s)=a1
(a17’) d
(aj,rj*)
(j=1,2,...m).
L K háromváltozós kimeneti függvénye pedig:
(a18) l (aj-1,rj-1*,s)=yj*.
Az L K automata voltaképpen egy ún. szekvenciális gép (ld. a működését szemléltető irányított gráfot: a4. ábra), amely, ha az s bemenőjelet megkapja, azonnal kimozdul az a0Î A kezdőállapotából, s felveszi az a1 állapotot, majd az r1*,r2*,...,rj*,...,rm* bemenőjelek (rj*Î R) hatására, L K minden következő időpillanatban sorban felveszi az
a2,...aj,...am-1Î A
közbülső állapotokat, és rendre kibocsátja az yj*Î Y sorvektorokból álló kimenőjeleket (j=1,2,...m-1), végül az am állapot felvétele után, az rm* bemenőjel hatására kibocsátja az ym*Î Y utolsó kimenőjelet, majd az a0Î A kezdőállapotába tér vissza.
A kimeneti függvény konkrét alakját az alábbiakban határozhatjuk meg:
Tegyük fel, hogy az rj* könyvviteli adatrekord 6 elemű. Elemei: rj*=[rj1=D,rj2=B,rj3=N,rj4,rj5,rj6], és rendre az 1. esemény időpontja (D), 2. az esemény bizonylatszáma (B), 3. az esemény neve (N), 4. tartozik vagyonfajta (számla) sorszáma (rj4), 5. követel vagyonfajta (számla) sorszáma (rj5), 6. vagyonváltozás pénzösszege (rj6) adatot tartalmazzák.
Legyen továbbá Its egy indikátorfüggvény, melynek értéke 1, ha s azonos az xj4-beli tartozik vagyonfajta (számla) számával, egyébként pedig 0; és legyen Iks egy másik indikátorfüggvény, melynek értéke -1, ha s azonos az xj5-beli követel vagyonfajta (számla) számával, egyébként meg 0.
Legyen még az s vagyonfajta (számla) tartozik-összege T=Its× xj6, követel-összege pedig K=Iks× xj6, (j=1,2,...m).
A tartozik forgalom summája legyen:
ST=aj1=aj-1,1+T (j=1,2,...m).
A követel forgalom summája legyen:
SK=aj2=aj-1,2+K (j=1,2,...m).
Előbbiek felhasználásával az aj3 (j=1,2,...m) állapotváltozó, mint egyenleg-memória értéke legyen:
E=aj3=aj-1,3+(T+K) (j=1,2,...m).
Az yj* kimenőjelek értékei
(a22) yj*=[s,D,B,N,T,ST,K,SK,E] (j=1,2,...m).
Az L K iniciális, módosított Mealy-féle automata működési sémáját szemléltető irányított gráf (a4. ábra):

L FK=á A,a0,S,R,Y,a s,d ,l ,Fñ
rendezett 9-es, ahol
- A az automata állapothalmaza, vö. a 4. és 5. definícióval,
- a0 kezdő állapotvektor, vö. a 4. és 5. definícióval,
- S={ s1,s2,...,sk,... sp} p darab, az E és/vagy F osztályozású összes vagyonelem osztály(számla) azonosítószámainak 1. sz. bemenőjel halmaza,
- R könyvviteli adatbázis, mint 2. sz. bemenőjel halmaz, vö. az 5. definícióval;
- Y={ l (am,rm*)=y*} az L FK egyetlen kimenőjel-vektorból álló halmaza,
- a s(a0,sk+1)=sk (k=0,1,2,...,p-1) a soron következő s bemenőjel értékét megadó bemeneti függvény, mely valahányszor előzőleg az L FK automata az a0 állapotban volt vagy került, sk értékét meghatározza,
- d vö. az 5. definícióval,
- l ld. az 5. definíciót.
- F={ am} az L FK végállapotának egyelemű halmaza.
Így az L FK automata az E és/vagy F osztályozású S={ s1,s2,...,sk,...,sp} azonosítószámú vagyonelemek (hagyományos könyvvitelben számlák) “főkönyvi” kivonatának adatsorait adja meg az R könyvviteli adatbázison.
Az L FK működését az a5. ábra szerinti séma mutatja:

2.12 A vagyonkönyvvitel axiómái
P.: 2./T
1.2.122 A valódiság-valótlanság dilemma eldönthetetlenségének általános könyvviteli alapelvei
P.: 2./T
3.P.: 2./T
4.P.: 2./T
4.2.123 Az inadekvát ellenőrautomaták elve
P.: 2./T4.
2.124 Az absztrakt események gazdálkodóspecifikusságának elve
P.: 2./T
1. Tétel: A gazdasági és a neki megfelelő könyvviteli esemény adatvektora, a gazdálkodó anyagi helyzetének változását jellemző adatai tekintetében ekvivalens (2./T
1).Jelölje g
i az i. gazdasági esemény adatvektorát (i=1,2,..,n). De ezeket csak bizonylatok alapján könyveljük (2./A1), ezért jelölje bi az i. bizonylatolt gazdasági esemény, ki pedig az i. könyvviteli esemény adatvektorát (ld. a definíciókat). A bi vektor — az adatok tartalmát tekintve — csak a "bizonylatazonosító" a2(bi) adatában tér el a gi vektortól (ld. a vonatkozó definíciókat és alább az e1. ábrát). A bizonylatazonosító adatra viszont az anyagi helyzet változásának jellemzése tekintetében nincs szükség, ezért ettől az adattól gi és bi tartalmi összehasonlításakor elvonatkoztathatunk — mintha nem is lenne. Következésképpen az anyagi helyzet változásának jellemzése tekintetében igaz, hogy giº bi, azaz e kettő vektor ezen aspektusból ekvivalens (’º ’ az ekvivalencia jele).Viszont k
i csak az "eseménykoordináták" (a4) adatában tér el gi-től és bi-től. Ez az adat azonban, gi és bi többi adatával egybevetve, nyilván nem más, mint bi és ki a3 adatának, illetve gi a2 adatának, az ún. "esemény neve (leírása)" verbálisan megadott adatnak a formalizált változata, azaz az "eseménykoordináták" adat, definíció szerint. Azt is megállapíthatjuk, hogy mind a verbális a2(gi), a3(bi) és a3(ki), mind a formalizált a4(ki) a megváltozó végső vagyonosztályokat és változásuk jellegét (növekedés vagy csökkenés vagy struktúraváltás) jelöli meg. Következésképp ezen adatok tartalmilag ekvivalensek (1./A14). [Az a3(ki) adat tulajdonképpen csak az esemény ellenőrzése és verbális megjelölés — "megnevezése" — céljából van ki-ben is.] Ugyanakkor az a2(ki) "bizonylatazonosító" adattól, a már említett ok miatt, itt is elvonatkoztathatunk — mintha nem is lenne.Tehát az adatszerkezetek tartalmi összehasonlításával kapjuk:
Adat tartalma g
i bi bi ki[időpont] a
1(gi)º a1(bi) és a1(bi)º a1(ki),[eseménynév] a
2(gi)º a3(bi) és a3(bi)º a3(ki)º a4(ki),[mennyiség] a
3(gi)º a5(bi) és a4(bi)º a5(ki),[pénzérték] a
4(gi)º a6(bi) és a5(bi)º a6(ki),e1. ábra
Vagyis: az anyagi helyzetet befolyásoló adattartalom alapján fennáll: g
iº bi és biº ki. De ekkor igaz: giº ki, mert az ekvivalencia tranzitív.Q.e.d.
P.: 2./T
6.K.: 1./A14, 2./A1.
2. Tétel: A vagyon könyvvitelében a gazdasági eseményeknek és a gazdasági események kapcsán létrejött vagyonnak és adósságnak, illetve ezek osztályozási rendszerének a közvetett képe jelenik meg könyvviteli események formájában, illetve könyvviteli események által (2./T
2).Legyen E a vagyon és az adósság főösszegét változtató és ezek vagyonosztályozási rendszerét felépítő (1./T20/C7) e
iÎ E (i=1,2,...,m) gazdasági események — adott időszakban mindig — véges és nem üres halmaza. Jelöljön továbbá bi egy bizonylatolt gazdasági eseményt, és legyen B a bizonylatolt gazdasági események szintén véges és nem üres halmaza, ahol biÎ B. Jelölje még K a könyvviteli nyilvántartásban szereplő kiÎ K könyvviteli események véges, nem üres halmazát.Most rendeljük hozzá adott szabály szerint a gazdasági eseményeket a könyvviteli eseményekhez, de a 2./A1 axióma szerint a gazdasági esemény adatait is tartalmazó bizonylat illetve a bizonylatolt esemény közbeiktatásával. E hozzárendelés (leképezés) tehát közvetett lesz:
1.) Az első tárgyelem: az ei gazdasági esemény.
A j leképezési előírás (hozzárendelési szabály) az, hogy: a bi bizonylatolt gazdasági események adatai — a bizonylatazonosítót érthető okból nem számítva — 2./T1 szerint azonosak kell legyenek ei tartalmilag megfelelő adataival (i=1,2,...m).
2.) Az 1. számú képelem: bi, azaz a bizonylatolt gazdasági esemény. E j leképezés ei« j (ei)=bi a ’« ’ jel szerint is kölcsönösen egyértelmű, hiszen minden ei gazdasági eseményhez egy és csak egy bi bizonylatolt gazdasági esemény tartozik (ezt biztosítja 2./T1), és ez fordítva is így van (i=1,2,...m). A bi képelem egyben a 2. tárgyelem — az adataival együtt.
A y leképezési utasítás: ki könyvvitelben rögzített gazdasági esemény adatai tartalmilag azonosak kell legyenek bi adataival, 2./T1 szerint.
3.) A 2. képelem: a ki könyvviteli esemény. A y leképezés: bi« y (bi)=ki (i=1,2,...m) tehát szintén kölcsönösen egyértelmű.
A teljes összetett vagy közvetett leképezési lánc szimbólumokkal jelölve a következő:
ei« y [j (ei)]=ki (i=1,2,...m).
Tehát minden egyes ki, egy j (ei)=bi-n át, közvetett képe egy ei-nek. Továbbá, mivel eiº ki az anyagi helyzetet meghatározó adatok tekintetében (2./T1 szerint), ezért a kiÎ K könyvviteli események (i=1,2,...m) a könyvviteli nyilvántartásban ugyanúgy építik fel, illetve változtatják meg a vagyon, az adósság és ezek osztályozási rendszerének képét, amint azt eredményezik a valóságban az eiÎ E gazdasági események (1./T20/C7). Ezért a tétel igaz.
Q.e.d.
K.: 1./T20/C7, 2./A1, T1.
Corollárium 1: A könyvviteli nyilvántartás, mint az anyagi helyzet tényezőinek és változásainak képe és e leképezés tárgya jellegét tekintve szükségszerűen ekvivalens (2./T
2/C1).Q.e.d.
P.:
K.: 2./T2.
Corollárium 2: A vagyonelmélet tételei (és törvényei) azonos alakban és tartalommal érvényesek a könyvvitelben is (fordítva ez általában nem igaz), mert a vagyonelméletben adott rendszer és a könyvviteli rendszer izomorf (2./T
2/C2).Q.e.d.
P.:
K.: 2./T2
Az ellenőrizetlen könyvvitel és leltár által involvált valóság-valótlanság dilemma és a “négyszögellenőrzés” törvénye
3. Tétel: Az ellenőrizetlen vagyonkönyvviteli nyilvántartás adatait a bekövetkezett gazdasági események valóságbeli adataival — egy adott t időpontban — nem tekinthetjük 100%-ban megegyezőnek.
Másképpen fogalmazva:
Az ellenőrizetlen vagyonkönyvvitel hibátlan voltának p valószínűsége egy adott t időpontban mindig nagyobb, mint nulla, ámde kisebb mint 1 (0<p<1).
Azt az eseményt, hogy az ellenőrizetlen vagyonkönyvviteli nyilvántartás egy adott t időpontban hibás, jelöljük E
H-val, azt pedig, hogy hibátlan ENH-val. E két esemény együttes bekövetkezését jelölje H. Ekkor írjuk, hogy: EHÈ ENH=H, azaz H jelenti az ellenőrizetlen vagyonkönyvviteli nyilvántartás hibás vagy hibátlan volta tekintetében bekövetkezhető események teljes halmazát, vagy másképp: a teljes eseményrendszerét. Az EH és ENH események páronként egymást kizárják [EHÇ ENH=
.
Ennek szemléletes jelentése az, hogy E
H és ENH események egyike sem következik be egyszerre, s ez nyilván maga a lehetetlen esemény (ezt áthúzott nullával jelöljük).A valószínűségszámítás II. axiómája szerint H (azaz a biztos) esemény bekövetkeztének valószínűsége 1, jelölje ezt: P(H)=1. Hisz pl. az az esemény biztosan bekövetkezik, hogy az ellenőrizetlen könyvviteli nyilvántartás az adott t időpontban vagy hibás lesz vagy hibátlan.
Az előbbi valószínűség-számítási axióma következménye az, hogy: annak valószínűsége, hogy H egyáltalán nem következik be, azaz
következik be, nulla, mert pl. az, hogy az ellenőrizetlen könyvvitel sem nem lesz hibás, sem nem lesz hibátlan, nyilván lehetetlen esemény, így valószínűsége P(
)=0.
A vagyonkönyvvitel előzőekben meghatározott — egy adott t időpontban — hibás voltának valószínűsége mértékét jelölje P(E
H)=p’, hibátlan voltáét pedig P(ENH)=p.E jelöléseket alkalmazva, állítom, hogy: 0<p<1.
Mármost, érvényes a 2./A
2 könyvviteli axióma (az ellenőrizetlen vagyonkönyvvitel vélelmezendő pontatlanságának elve), amely szerint: Az ellenőrizetlen vagyonkönyvvitel hibás voltának valószínűsége (p’) — egy adott t időpontban — mindig nagyobb, mint nulla és kisebb, mint 1 (0<p’<1).A vagyonkönyvvitel hibás voltának két lehetséges kimenetele, egymást kizáró [E
HÇ ENH=(a) 0<P(E
HÈ ENH)=P(EH)+P(ENH)=P(H)=1.És P(E
H)=p’ valamint P(ENH)=p egyenlőségekből p’ és p (a)-ba való behelyettesítésével adódik:(b) 0<p’+p=1.
De a p’+p=1 egyenlőségből a
(c) p’=1-p egyenlőséget kaphatjuk.
Viszont 2./A
2 szerint 1>p’>0, így felhasználva, hogy p’=1-p, behelyettesítéssel kapjuk a(d) 1>1-p>0
egyenlőtlenségrendszert. Eme (d) alakból átrendezéssel kapható: 0<p<1, ami a tételbeli állítás, mert 1 egyenlő a hibátlanság 100%-val.
Q.e.d.
P.:
K.: 2./A
2.4. Tétel: A nem ellenőrzött (azaz a megfelelő gazdasági események bizonylataival egybe nem vetett) leltár nem támasztja alá (azaz nem bizonyítja) a nem ellenőrzött könyvvitel és annak adataival készült mérleg valódiságát (2./T
4).A tétel bizonyításához állítsuk annak ellenkezőjét:
(T4’).: A nem ellenőrzött (azaz a megfelelő gazdasági események bizonylataival egybe nem vetett) leltár alátámasztja (azaz bizonyítja) a nem ellenőrzött könyvvitel és annak adataival készült mérleg valódiságát.
1) Tegyük fel, hogy egy építési vállalkozó könyvviteli nyilvántartásban és az annak alapján összeállított mérlegben szerepel, sok egyéb mellett, forgóeszközként 10 darab talicska 10× x pénzértékben. Viszont a leltározáskor felleltek 11 darab talicskát 11× x pénzértékben. E leltár adatait, a feltétel szerint, alapbizonylatok adataival nem vetették egybe, nem ellenőrizték, de a könyvvitelét sem. Vagyis konkrétan pl. a talicskabeszerzés bizonylatait és a leltár, illetve a könyvvitel megfelelő adatait nem hasonlították össze.
Felmerül a kérdés: Melyik adat valós biztosan? A könyvelés és az annak alapján készült mérleg, avagy a leltár megfelelő adata?
Mármost, hogy valótlan-e vagy sem a könyvelés/mérleg azt az E=F és/vagy a å t=å k formula alapján nem lehet eldönteni, mert azok ellenőrzésre nem alkalmasak — inadekvátak (2./A5).
De lehetnek valótlanok a könyvelés, illetve a mérleg adatai, mert pl. eltéveszthették a darabszámot a könyveléskor, vagy eleve téves lehetett az egyébként helyesen könyvelt számlán megjelölt mennyiségi adat és pénzérték, pl. az átvételt igazoló szállítólevélhez képest — de ezt nem vették észre, mert nem ellenőrizték. Hogy a könyvelés/mérleg adatai valótlanok-e vagy nem, az ellenőrzés nélkül eldönthetetlen (2./A3).
De lehet, hogy a könyvelés és a mérleg vonatkozó adata helytálló, ámde valótlan a leltár megfelelő adata. Azért, mert mondjuk, a leltározó, rosszul adta össze a fellelt talicskák számát — s emiatt írt 11-et a leltárívre 10 helyett és ezt szorozta az x pénzértékkel. Vagy: merő figyelmetlenségből, elírta a számot a leltáríven 10-ről 11-re. De az is lehet, hogy — ha nem látták el a talicskákat megkülönböztető leltári címkékkel — a cég területén a kerítést javítgató, amúgy a leltározáskor már levonult kőműves ottfelejtett talicskáját is a gazdálkodó vagyontárgyának vélte a leltározó, és ezért írt 10 talicska helyett 11-et. Tehát: önmagában sem bizonyítani, sem cáfolni nem lehet a leltár adatainak valódiságát — azaz ez a probléma is, ellenőrzés nélkül, eldönthetetlen (2./A4). E tények viszont már ellentmondanak T4’-nek, tehát csak T4 lehet az igaz.
2) Ugyanezek az érvek hozhatók fel, akkor is, ha mind a könyvelés, a mérleggel együtt, mind a leltár 10 talicskát és 10× x pénzértéket tartalmaz, de sem a könyvelés, sem a leltár nem ellenőrzött, vagyis alapbizonylattal nem alátámasztott. Csak most azt nem tudni, hogy valóban fennáll-e az egyezőség. Voltaképp ugyanolyan okokból, mint az 1) esetben. Azaz: sem bizonyítani, sem cáfolni nem lehet az egyezőséget — e probléma, ellenőrzés nélkül, eldönthetetlen (2./A3, 2./A4). Ez a tény szintén ellentmond T4’-nek, tehát 2./T4 lehet csak az igaz.
Azaz: akár eltér — 1) eset —, akár egyezik — 2) eset — a nem ellenőrzött könyvelés/mérleg és a nem ellenőrzött leltár megfelelő adata, a nem ellenőrzött leltár sem nem bizonyítja, sem nem cáfolja az eltérést vagy az egyezést.
Q.e.d.
P.: 2./T4/C1, C2.
K.: 2./A
3, A4, A5.Corollárium 1: A nem ellenőrzött (azaz a megfelelő gazdasági események bizonylatával és az ellenőrzött leltár megfelelő adatával egybe nem vetett) könyvviteli események (könyvelési tételek) nem támasztják alá (azaz nem bizonyítják) a könyvviteli nyilvántartás és az annak adataival készült mérleg valódiságát (2./T
4/C1).P.:
K.: 2./A
4.Corollárium 2: Egymagában, sem a leltár (VL), sem a leltárral érintett időszakban könyvelt bizonylat(ok) (VB) adatai, de még e kettő együtt sem alapozza meg az érintett vagyonkönyvvitel (VK) és vagyonmérleg valódiságát, hanem csak a VE=VB és VB=VK és VK=VL és VE=VL egyezőség egyszerre
— ahol VE a gazdasági esemény mutatta valóság. Ez a könyvviteli “négyszögellenőrzés” törvénye (2./T4/C2).K.: 2./A
4.Szabványosítás és automatizálás
5. Tétel: Minden gazdálkodóhoz egyértelműen hozzárendelhetünk egy a tevékenységének megfelelő szabványos gazdasági eseményekből álló véges halmazt (2./T
5).Jelöljön G valamely gazdálkodót és jelölje a "® " szimbólum a hozzátartozást (hozzárendelést), Ea azon absztrakt gazdasági események halmazát, mely a G gazdálkodására jellemző könyvviteli események absztrakciójával keletkezett eaÎ Ea absztrakt gazdasági eseményekből áll. Jelölje továbbá eszÎ Esz a szabványos gazdasági eseményeket és Esz ezek véges halmazát. E szimbólumokkal felírva a tételt, azt kell megmutatni, hogy fennáll: (1) G® Esz.
Mármost a 2./A
6 axióma szerint: Minden gazdálkodóhoz egyértelműen hozzátartozik egy, az anyagi helyzete lehetséges változásainak meghatározására alkalmas és páronként különböző Ea absztrakt gazdasági eseményekből álló véges halmaz. De, ha minden gazdálkodóhoz, akkor G-hez is egyértelműen hozzátartozik (hozzárendelhető) a rá jellemző Ea, azaz igaz: (2) G® Ea.Ugyanakkor a vonatkozó definíció szerint: Szabványos gazdasági eseményeknek nevezzük a gazdálkodó könyvvitelében konkrét könyvviteli események szabatos “megnevezésére” [a3 adattípusként] kötelezően használandó olyan eseményneveket, melyeket az absztrakt eseményekből tipizálással képzünk, és amelyeknek egyedei formálisan (azaz: az esemény neve vagy leírása szavait és azok sorrendjét tekintve) és tartalmilag (azaz: az esemény neve vagy leírása jelentését tekintve) mind különböznek egymástól, és értelmes (másképp: reális) az eseménykoordináta-n-esük. De e definíció szerint igaz: esz=eaÎ Ea, ezért fennáll: EszÍ Ea. De akkor igaz: G® Esz is.
Q.e.d.
P.: 2./T5/C1, C2.
K.: 2./A5.
Corollárium 1: Az absztrakt gazdasági események n száma és a szabványos gazdasági események k száma viszonyára áll: 1£ k£ n (n=1,2,...) [2./T5/C1].
P.: 2./T
6, 2./T7.K.: 2./T5.
Corollárium 2: A szabványos gazdasági események is jellemzőek a gazdálkodó tevékenységére, azaz: gazdálkodóspecifikusak [2./T5/C2].
P.:
2./T8/C2.K.: 2./T5.
6. Tétel: A (0;t] időintervallumban (t=1,2,…,M) szabványos gazdasági eseményekkel “megnevezett” konkrét könyvviteli események kapcsán bekövetkező bruttóvagyonváltozások M. időponthoz tartozó algebrai összege egyenlő e bruttóvagyonváltozások szabványos gazdasági események szerinti osztályozásának főösszegével (2./T
6).A (0;M] időintervallumban következzen be n (n=1,2,...) számú gazdálkodóspecifikus gazdasági esemény. Minden ilyen esetben a bruttóvagyon nő vagy csökken vagy csak struktúrát vált (A15). Tegyük fel, hogy a csökkenéseket a gazdálkodóra jellemző megfelelő könyvviteli események mértékadata negatív előjellel rögzíti. Ezen kívül, mivel kompenzatív esemény kapcsán nem változik meg a bruttóvagyon [a főösszeg ui. invariáns a kompenzatív gazdasági eseményekre nézve (1./T19/C1)], ezért ezek mértékadatát nullának tekintjük.
E feltételekkel a bruttóvagyon V mértéke a t=M időpontban egyenlő a (0;M] időintervallumban rögzített n darab könyvviteli esemény azonos típusú mértékadatának algebrai összegével (1./T
27). De ezt az n darab konkrét könyvviteli eseményt “megnevezhetjük” a nekik megfelelő szabványos gazdasági eseménnyel, ámde emiatt a bruttóvagyon V értéke nyilvánvalóan nem változik meg.E szabványos gazdasági események száma k, melyre igaz: 1£ k£ n (n=1,2,...) (2./T
5/C1).Mármost, ha k=n, azaz a szabványos gazdasági események és a könyvviteli események száma megegyezik, akkor a tétel nyilván igaz. Ha viszont 1<k<n, akkor az n tagból álló összegzést k csoportra szét kell bontanunk a szabványos gazdasági események szerinti osztályok létrehozása érdekében, majd e csoportok tagjainak algebrai összegét kell összegeznünk, ami viszont az összeadás asszociativitása folytán nem változtat V mértékén (2./T
6).Q.e.d.
P.:
K.: 1./T19/C1, T
27, A15, 2./T5/C1.7. Tétel: Minden szabványos gazdasági eseményhez egyértelműen hozzárendelhető a neki megfelelő konkrét könyvviteli esemény koordinátáit adó osztálykoherencia (vagy kontírozási összefüggés) y’*=o* adatvektora, mint metaadat (2./T7).
A gazdálkodó anyagi helyzetének változásait egy adott időszakban leírja könyvviteli nyilvántartásának n darab könyvviteli eseménye.
Most szabványos gazdasági események létrehozása céljából, a vonatkozó definíciónak megfelelően, tipizáljuk (soroljuk osztályokba) ezeket a könyvviteli eseményeket az a
3 adatuk (azaz a konkrét “eseménynevük”) jelentése alapján. Ekkor egy osztályba csak olyan könyvviteli események kerülhetnek, amelyeknek azonos jelentésű az a3 adata. Így k darab osztályt kapunk és az osztályok k számára igaz 1≤k≤n (2./T5/C1). Következésképpen ezen osztályokban legalább egy, k<n esetben, némelyikben több könyvviteli esemény lesz. Minden olyan osztályra, amelyben több könyvviteli esemény van, az jellemző, hogy az események a3 adata (konkrét “eseménynév”) a jelentésük szerint ekvivalens, míg az a4 adataik (azaz az eseménykoordinátáik) azonosak (1./A14). Ez után minden osztályból egy és csak egy könyvviteli esemény a3 adatát tekintsük szabványos gazdasági eseménynek – a vonatkozó definíció szerint. Ekkor kapunk k darab szabványos gazdasági eseményt, melyek páronként különböznek, és amelyekhez az osztályozás révén egyértelműen hozzárendeltük saját a4 adataikat, azaz az eseménykoordinátáikat.Q.e.d.
P.: 2./T
8.K.: 1./A
14, 2./T5/C1.Corollárium: Minden egyes szabványos gazdasági eseményhez egyértelműen hozzárendelhető a neki megfelelő konkrét bizonylatolt gazdasági eseménynek e szabványos gazdasági eseménytől függő minden konkrét adata is (2./T7/C).
Q.e.d.
P.:
K.: 2./T
7.8. Tétel: A gazdálkodó bármely könyvviteli eseményének koordinátái a gazdálkodására jellemző szabványos gazdasági események függvényeként automatikusan meghatározhatók (2./T8).
Jelölje e
i az i. gazdálkodóspecifikus [2./T5/C2] szabványos gazdasági eseményt (i=1,2,...,n). Minden ilyen szabványos gazdasági eseményhez egyértelműen hozzárendelhető a neki megfelelő konkrét könyvviteli esemény koordinátáit adó osztálykoherencia (vagy kontírozási összefüggés) yi’*=oi* adatvektora, mint az eseménykoordináták metaadata (2./T7). De yi’*=oi* az yi’*=[y1,y2,...yk]i’=oi*=j ’(xi) könyvviteli derivált értéke az xi=ei helyen.Mármost e y
i’*=oi* könyvviteli derivált-értéket automatikusan meghatározza a valódi kontírozó automata, amely az ún. memória (állapotmemória) nélküli, véges és diszkrét Mealy-féle absztrakt automatának megfelelő yi’*=[y1,y2,...yk]i’=oi*=j ’(xi)=¦ ’(ei) két [a j ’(xi) vagy ¦ ’(ei)] könyvviteli derivált függvény valamelyikével modellezett a vonatkozó definíció szerinti.Q.e.d.
P.: 2./T
8/C.K.: 2./T
7, 2./T5/C2.Corollárium: Amennyiben az ei® yi’*=[y1,y2,...yk]i
’=oi* minden i-re előre helyesen meghatározott, úgy a kontírozó automatával bármennyi bizonylatolt gazdasági, illetve könyvviteli esemény osztálykoherenciájának (kontírozási összefüggésének) automatikus megadása is hibátlan lesz, vagyis a kontírozó automata az ei-k hibátlan kontírozása esetén kizárja a kontírozási hibákat — azaz: ettől a hibatípustól izolálja a könyvviteli rendszert, bármely ei-re és akárhányszor ismételjük e műveletet (2./T8/C).P.:
K.: 2./T
8.9. Tétel: A gazdálkodó bármelyik könyvviteli eseményének adatai a gazdálkodására jellemző szabványos gazdasági események és a konkrét bizonylatolt gazdasági események adatai függvényeként könyvelő-automatával automatikusan meghatározhatók (2./T9).
A könyvelő automata egyszerű Mealy-féle absztrakt automatákkal modellezhető összetett valós automata, amely nem csak az osztálykoherencia-adatokat adja meg automatikusan a szabványos gazdasági események függvényében (2./T
7), hanem minden olyan adatot, amely adott ei (i=1,2,...,n) szabványos gazdasági eseményhez egyértelműen hozzárendelhető (2./T7/C). Ilyen adat lehet például a mennyiségi egység (vagy mértékegység) adata, vagy az esemény ÁFA-kulcsa és az ÁFA ajánlott összege is, stb. A könyvelőautomata bemenő adataihoz csatolhatók még a konkrét bizonylatolt gazdasági esemény konkrét adatai (esemény kelte, bizonylatazonosító, mennyiség, pénzérték, stb.) is. Így ezek kimenő adatok is lesznek egyben.Q.e.d.
P.: 2./T
10K.: 2./T
7, 2./T7/C.10. Tétel: Az E és/vagy F aspektusú összes s
iÎ S={ s1,s2,...,si,...,sp} azonosítószámú vagyonfajta (hagyományosan “főkönyvi számlák”) összesítő (főkönyvi) kivonatának adatai a könyvelő-automatával előállított adatbázisból az összesítő kimutatást lekérdező automatával meghatározhatók (2./T10). 9) előállított összes könyvviteli eseményből, mint adatbázisból az összesítő kimutatást lekérdező absztrakt automatának megfelelő valós automatával az E és F osztályozás szerinti siÎ S={ s1,s2,...,si,...,sp} azonosítószámú vagyonfajták és részösszegei (hagyományosan a “főkönyvi számlák”) összesítő (főkönyvi) kivonatának adatai automatikusan lekérdezhetők, előállíthatók. Ugyanis az összesítő kimutatást lekérdező absztrakt automata valós alakja egy olyan szekvenciális “gép”, amely az s1,s2,...,sp bemenőjeleket sorra veszi majd az R könyvviteli adatbázison az általuk jelölt vagyonfajták (hagyományosan főkönyvi számlák) forgalmi és egyenlegadatait meghatározza és összesítő (főkönyvi) kivonatba rendezi.Q.e.d.
P.: 2./T
10/C1,K.: 2./T
9.Corollárium 1: Amint az összesítő kimutatás (főkönyvi kivonat), hasonlóképp a mérleg is előállítható a megfelelően kiegészített lekérdező automatával (2./T10/C1)
.P.:
K.: 2./T10.
Corollárium 2: Az összesítő kimutatás (főkönyvi kivonat) és a mérleg N aspektusú (N≥2) vagyonosztályozási rendszer esetén is előállítható a megfelelően kiegészített lekérdező automatával (2./T10/C2)
.P.:
K.: 2./T10.
Corollárium 3: A könyvelőautomata és a lekérdezőautomata használata szükségtelenné teszi a hagyományos “főkönyvi számlák” vezetését, következésképp okafogyottá teszi a számlaelméleteket. Ez a számlaelméletek halála (2./T10/C3).
P.:
K.: 2./T
10.
3. A tartozás - körbetartozás elméletének alapelemei![]()
P.: 3./T
2, T3.P.: 3./T2.
3.2 A tartozás - körbetartozás tételei és bizonyításuk.
1. Tétel: Minden hitelező egyben adós is (3./T
1).Legyen G
1 egy a létező hitelezők közül, és hitelezzen pl. a G0 gazdálkodónak. Azt kell megmutatni: ahogy G1, úgy minden hitelező egyben adós is.Ha tehát G
1 hitelezője G0-nak, akkor G0 az 1./A9 axióma szerint tartozik neki és G1 vagyonos az 1./A8 axióma alapján. (Jelölje G1 vagyonát V1>0). De akkor G1-nek is van A1>0 adóssága, ugyanis akinek van vagyona, annak van adóssága is (1./A8), azaz fennáll: (V1>0)® (A1>0) az 1./A8 és 1./T1,T2 szerint. Tehát: G1 valakinek, mondjuk pl. akár G0-nak és/vagy más gazdálkodó(k)nak (pl. G2-nek) szintén kell, hogy tartozzon. Vagyis: G1 maga is adós. Mivel G1 a létező hitelezők bármelyike lehet — és adós volta hitelezői mivoltából következik (1./A8) —, ezért minden hitelezőre nézve fennáll, hogy egyben adós is. (E tétel nem megfordítható!)Q.e.d.
P.: 3./T
3.K.: 1./A
8,A9,T1,T2.2. Tétel: A piac szereplői mind vagyonos gazdálkodók (3./T
2).Válasszunk ki az összes piaci szereplő közül tetszőlegesen kettőt. Legyenek ezek G1 és G2. Egyik — mondjuk G1 — eladó legyen, a másik — G2 — pedig vevő, a 3./A1 szerint. Állítom: G1 is és G2 is vagyonos gazdálkodó, akárcsak a többi.
Ha ugyanis nem, akkor vagy G1 nem a saját vagyontárgyát adja el eladóként, vagy G2 nem a saját vagyontárgyát adja ellenértékül, mint vevő, avagy egyikük sem a saját vagyontárgyát adja az ügyletben a másiknak, ámde mindhárom eset ellentmond 3./A2-nek. Mert 3./A2 szerint: a piac szereplői az adásvétel során mindig saját vagyontárgyaikat adják el eladóként, illetve adják ellenértékül vevőként, tehát G1 és G2 vagyonos lehet csak. Ha viszont G2 az eladó és G1 a vevő, ők akkor is vagyonos piaci szereplők. Elég ennek igazolásához az indexeiket felcserélni.
Végül: Mivel az összes piaci szereplő közül, tetszőlegesen, bármelyik kettőt választhatjuk G1-nek és G2-nek, ennek ellenkezőjét nem kötöttük ki, ezért a G1 és G2 piaci szereplő esetére igaz állítás az összes piaci szereplőre nézve is igaz.
Q.e.d.
P.: 3./T3, T4.
K.: 3./A1, A2.
Corollárium: Minden eladó vevő is és fordítva (3./T2/C)
.P.:
K.: 3./T2.
3. Tétel: Ha egy piacon csak két vagyonos gazdálkodó van, akkor ők csak egymásnak tartoznak. Ekkor ők ketten - adóspárként - a minimális tagszámú adóskört alkotják. (Ez a körbetartozás minimális esete.) [3./T
3]Minden piacon van legalább két szereplő 3./A
1 szerint, és ezek vagyonos gazdálkodók 3./T2 szerint. Legyen tehát most a piacon csak kettő szereplő: G1 és G2. Azt kell megmutatni, hogy e G1 és G2 gazdálkodó csak egymásnak tartozik.Minthogy G
1 vagyonos, ezért van adóssága (1./A8 szerint) és így van hitelezője 1./A9 szerint. E hitelező a feltétel szerint nem lehet más csak G2, aki szintén vagyonos (1./A9 szerint).Ám, ha G
2 hitelező, akkor adós is a 3./T1 szerint, következésképp van hitelezője 1./A9 szerint. E hitelező a feltétel nem lehet más csak G1.G
1 és G2 tehát valóban csak egymásnak tartozik. Ez a körbetartozás minimális esete (3./T3).Q.e.d.
P.: 3./T
4.K.: 1./A
8, A9; 3./A1, T1, T2.4. Tétel: Minden piacon van körbetartozás, vagyis a körbetartozás a piacok attribútuma, azaz nélkülözhetetlen tulajdonsága (3./T
4).Jelölje n a piaci szereplők számát és legyen a vizsgált piacon n (n³ 2) piaci szereplő. Állítom, hogy e piacon — és minden piacon — van körbetartozás, következésképp a körbetartozás a piacok természetes és nélkülözhetetlen tulajdonsága, azaz: attribútuma. Ehhez azt kell megmutatni, hogy az n (n³ 2) szereplős piacon van legalább egy adóskör.
A vizsgált piacon tehát van n szereplő (n³ 2). Ezek 3./T
2 szerint mind vagyonos gazdálkodók.Mármost, ha mindössze két szereplője van e piacnak (azaz n=2), akkor a 3./T
3 szerint ők ketten - adóspárként - a minimális tagszámú adóskört alkotják és így a tétel igaz. Minthogy e piacot más vonatkozásban nem specifikáltuk, ezért az is igaz, hogy minden kétszereplős piacon van körbetartozás.Ezután azt kell megmutatnunk, hogy akkor is van e piacon adóskör, következésképp körbetartozás, ha n>2. Ehhez a következő módszert is alkalmazhatjuk:
Mindez azt jelenti, hogy e piacon vagy egy n, vagy egy n-1, ..., vagy egy 3, vagy egy 2 tagú egyszerű adóskör létezik — legalább.
Minthogy e piacot más vonatkozásban nem specifikáltuk, ezért az az állítás is igaz, hogy minden piacon van adóskör és így körbetartozás, ami a piacok attribútuma (3./T
4).Q.e.d.
P.:
K.: 1./A
8, A9; 3./T2, T3.Corollárium 1: Ha az n-szereplős piacon (ahol n³ 3) van olyan adóskör, amely nem adóspár, akkor az ilyen kör bármelyik tagja nem csak egyetlen másik körtagnak tartozhat. Tehát az ilyen adóskör lehet összetett is (3./T
4/C1).Q.e.d.
P.:
K.: 3./T
4.Corollárium 2: Az adóspárok számát jelölje P. Az n szerepelős piac (ahol n>3) tartalmazhat több adóspárt is. Az adóspárok lehetséges maximális száma P
max=[(n-1)*n]/2, ami ekvivalens pl. a konvex n-szög oldal és átlójellegű éleinek együttes számával (mely utóbbi teljes indukcióval könnyen igazolható) [3./T4/C2].Q.e.d.
P.:
K.: 3./T
4.Corollárium 3: Ha az n szereplős piac (ahol n>3 és páros), mint halmaz, k piaci szegmensre (azaz részhalmazra) bomlik (ahol n=2k), akkor k darab egymástól független adóspárt tartalmazhat (3./T
4/C3).Q.e.d.
P.:
K.: 3./T
4.Corollárium 4: Ha az n szereplős piac (ahol n>2) piaci szegmensekre bomlik, akkor adóspár(oka)t és/vagy páratlan tagszámú adóskör(öke)t tartalmaz (3./T
4/C3).Q.e.d.
P.:
K.: 3./T
4.Noha fő témánk a vagyon könyvvitele, a következő részt, mely az itt közölt elméletrendszer egyik következménye (ld. a könyvvitel fogalmát), mégis az olvasó figyelmébe ajánlom:
Az egyes könyveléseknek különféle események lehetnek a tárgyaik. Például: a vesztes csapat elkönyveli magának a vereséget, a futballbíró a kiosztott sárga és piros lapokat, a pedagógus a diákok érdemjegyeit, a történész a történelem eseményeit, a kutató biológus a kísérleti eredményeket, a gazdálkodó könyvelője pedig, a vagyonban, az adósságban a gazdálkodás során beálló változások, azaz a gazdasági események adatait. Ezek tehát mind események kronologikus nyilvántartásai, azaz könyvvitelek, mégpedig speciális könyvvitelek.
Speciális könyvvitelek például:
A következő három függelékben három speciális könyvvitelre mutatok, bár fiktív adatokkal, ámde jól illusztráló példát.
Az alábbi y1. táblázat egy n=4, azaz idő-eszköz és idő-forrás aspektusú dinamikus valamint eszköz és forrás aspektusú statikus komplex vagyonmérleget mutat, amely a következő y2. táblázat szerinti vagyonkönyvviteli adatbázis által egyértelműen meghatározott.



Tudásszint könyvelése és a tudásmérleg
A t1, t2 és t3 táblázatok mérlegeit a t4 táblázatbeli könyvviteli adatbázis adatai határozzák meg.
A t1 táblázatban egy vegyes — statikus és dinamikus aspektusú — mérleg-változat látható.
A t3 táblázat szerinti mérleg az első két oszlopában a tanulók ismert bizonyítványát vagy leckekönyvét tartalmazza.



Az osztálynapló, mint könyvelési nyilvántartás, amely az előbbi mérlegeket meghatározza, a következő formát is öltheti:
Ugyanakkor a tudásszint alakulásának könyvelése történhet pl. egy egész iskola “naplójában” is. Ekkor nyilván célszerű a naplóba (a könyvviteli nyilvántartásba) felvenni a négy, már említett adat mellé továbbiakat is. Például 5. adatként az évfolyam azonosítóját, 6. adatként az osztály azonosítóját. Sőt felvehető lenne pl. az érdemjegyet adó tanár azonosítója is mondjuk 7. adatként. Ekkor a mérlegben, további aspektusként, a tudásszint-alakulás tanáronként is kimutatható lenne, amelynek nyilvánvalóan jól hasznosítható az információtartalma az iskolát irányító vezetők számára.
Havi telefonköltség könyvelése és annak havi költségmérlege


Egy mai klasszikus magyar, angol és német vagyonmérleg



Alkalmazott fontosabb jelölések
@ közelítően egyenlő
³ nagyobb, vagy egyenlő
£ kisebb, vagy egyenlő
kisebb vagy nagyobb, vagy egyenlő
D kicsiny különbség
¥ végtelen (nagy vagy kicsi) szám vagy mennyiség
¦ függvény, leképezési szabály vagy hozzárendelési
utasítás
j függvény, leképezési szabály vagy hozzárendelési
utasítás
implikáció (jelentés a matematikai logikában:
mint magától értetődőt velejárót, következményt
magával hoz)
± pozitív vagy negatív
¹ nem egyenlő
º ekvivalens (másképp: azonos)
» közelítően azonos
... folytatódás az előzőek szerint
È halmazok uniója (vagy egyesítése)
Ë nem része
Ì valódi része
Í része vagy egyenlő
Î eleme
Ï nem eleme
å összegzés (summa)
A halmaz
S mátrix
v* sorvektor
v oszlopvektor
1 összegző oszlopvektor (minden eleme 1)
0 nullvektor (minden eleme 0)
Ù konjunkció (logikai és)
Ú diszjunkció (logikai és/vagy)
Ñ kizáró vagy (logikai - csak! - vagy)
Vissza a tartalomjegyzékhez: