Teoretisk grundlag for flyvningen af ​​tungere end luftfartøjer. Typer af fly