рЭ-цЭпт : KWAK KWAKа изор-рвать ! ! !
Ну почитал. Восклицательных знаков, конечно, много. Красных буковок много. Истероидная акцентуация, возможно, осложненная наступлением пубертатного периода. Возможно, комплекс неполноценности. Это я тебе как студент-психолог ехидичаю.

А теперь по делу.
Логика Аристотеля основана на законе исключенного третьего? С таким же успехом можно сказать, что она основана на шевелении мозгами. В логике Аристотеля много чего. Конкретно при обосновании своей силлогистики древний товариШЧ опирался в большей степени на закон противоречия, чем на закон исключенного третьего. В общем, с это с твоей стороны, натяжка.
Это первое.
Второе. Почитай где-нибудь, что на самом деле означает выражение "полная система аксиом". Будет тебе сюрприз.
Третье. Ты написал формулу, которая не выражает ничего интересного. Просто кучу буковок. Формула равна true, угу. Мог бы написать ее проще:
A or B or C or ... or true = true
Тоже тавтология. Тоже включает в себя все возможные высказывания. И тоже ничего интересного не доказывает.
Кстати, возможно, тебе будет интересно узнать, что в распространенных логических системах нельзя писать формулы бесконечной длины. Так что это так... небольшой бесполезный выверт, и все.