• Home
  • completeness and fixed point