Logical foundation of fundamental theoretical physics