1. INTRODUCTION.
COGNITIVE VISAULIZATION
OF NUMBERTHEORETICAL
ABSTRACTIONS
Cognitive Visualization (CV) aims to represet an
essense of a scientific abstract problem domain, i.e. the most principal
connections and relations between elements of that domain, in a graphic
form in order to see and discover an essentially new knowledge of a conceptual
kind [1]. For example, in classical
Number Theory (NT) such the main feature
giving rise to many famous NTproblems (such as Fermat's, Goldbach's,
Waring's problems) is, by B.N.Delone and A.Ya.Hintchin, a hard comprehended
connection between two main properties of natural numbers  their additivity
and multiplicativity. Nevertheless, by means of CVapproach, we visualized
this twice abstract connection in the form of colormusical 2Dimages
(socalled pythograms) of abstract NTobjects, and obtained really a
lot of new NTresults. In particularly, we generalized wellknown
Classical Waring's Problem, generalized and proved the famous theorems
of Hilbert, Lagrange, Wieferich, Balasubramanian, Desouillers, and
Dress, discovered a new type of NTobjects, a new universal additive
property of the natural numbers and a new method,  the socalled
SuperInduction method,  for the rigorous proving of general
mathematical statements of the form "n
P(n) with the help of CVImages, where P(n) is a NTpredicate.
By means of the CVapproach and the SuperInduction method,
the Generalized Waring's Problem (GWP) was seen (in direct
sense of the word) and formulated. The complete solution of GWP
was given and a lot of fundamentally new NTtheorems was proved
rigorously in the framework of GWP [1 
4].
In this paper, we use ideas of this
CVapproach for the cognitive visualization of some basic number
systems in classical Set theory and NonStandard Analysis. We believe
that the essense of the classical (G.Cantor) Set Theory consists in the
Continuum Problem. Therefore, first of all, we visualize this Problem.
Then we use the J.Barwise, J.Etchemendy and E.Hammer [5,
6, 13] ideas on
Multumedial and Hyperproofs , and prove some rather unusual settheoretical
statements basing on the CVimage of Continuum Problem. Finally, we produce
a new classification of number systems that clarify a particular role and
place of the hyperreal numbers system of nonstandart analysis in the
modern metamathematics [7, 10,
11]. Some unexpected but quite natural
connections between the CVimage of Continuum Problem and Leibniz's
Monadology ideas are presented.
