### Web based Geometry

수학하는 척하면서 놀기.

- Undefined terms -
computer, information, user

- Axiom -
A computer has an information.
A user operates a computer.

- Definition - RELATION
A is related to A.
If that A is related to B and B is related to C implies A is related to C.
(Refer to http://en.wikipedia.org/wiki/Relation_%28mathematics%29 )

- Definition - (Super/Sub) NETWORK
A network is a relation between two computers.
Also, a network can be a network between two networks. If a network is the network of networks, the network is called the supernetwork of the networks and the networks are called  the subnetworks of the supernetwork.

- Definition - LARGE / SMALL
A supernetwork is larger than its subnetwork.
A subnetwork is smaller than its supernetwork.
This implies that a computer is one of the smallest network.

- Definition - INTERNET
Internet is a network of all networks.

- Theorem - Internet is the largest supernetwork, that is there is no supernetwork of Internet.
Proof > Internet is a network of all networks. If there is a supernetwork of Internet, it is a subnetwork of Internet. This is contradiction to the definition of Internet.(QED)

- Definition - ACCESSBILITY
Let A and B be computers. If A and B have a network, then A can access to B. Also, its converse is true.