Макрокосмос. Первая подгруппа аксиом