08/02/20 13:39:56
>>847の証明
定義１
「＞」マーク一つは「難しさエネルギー」の大きさと方向をしめすとする。（開いている方向を大とする）
定義２ 現実とは妄想でないこととする。
公理１
電験１種＞＞電験2種＞＞電験３種＞＞電工１種
公理２
電験１種＞技術士（電気電子）＞電験２種
公理３
電工１種＝２級建築士
公理４
１級建築士＞＞＞２級建築士
公理３、公理４より
定理１：１級建築士＞＞＞2級建築士＝電工１種
公理１と定理１より定理２が導き出される
定理２：電験１種＞＞電験2種＞１級建築士＞電験３種＞＞電工１種＝２級建築士
公理２と定理２より定理３が導き出せる
定理３：電験１種＞技術士（電気電子）＞電験2種＞１級建築士＞電験３種＞＞電工１種＝２級建築士
定理３＝>>847よって
>>847は現実
ＱＥＤ（証明終わり）